clingo-sys 0.7.2

Raw FFI bindings to the C API of the clingo library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135

name: CI Test

on: [push]

jobs:
  build-linux:
    runs-on: "ubuntu-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        shell: bash -l {0}
        run: |
          conda install -c potassco/label/dev clingo
      - name: Build
        run: |
          export CLINGO_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
          cargo build --verbose
      - name: Run tests
        run: |
          export LD_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
          cargo test --verbose
  build-macos:
    runs-on: "macos-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        shell: bash -l {0}
        run: |
          conda install -c potassco/label/dev clingo
      - name: Build
        run: |
          export CLINGO_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
          cargo build --verbose
      - name: Run tests
        run: |
          export DYLD_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
          cargo test --verbose
  build-windows:
    runs-on: "windows-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        run: |
          conda install -c potassco/label/dev clingo
      - name: Build
        env:
          CLINGO_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib
        run: |
          cargo build --verbose
      - name: Run tests
        env:
          CLINGO_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib
          LD_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib
        run: |
          cargo test --verbose
  build-linux-static:
    runs-on: "ubuntu-latest"
    steps:
      - uses: actions/checkout@v2
      - name: update submodules
        run: git submodule update --init --recursive
      - name: checkout correct clingo version
        run: |
             cd clingo 
             git checkout v5.6.2 
             cd ..
      - name: Apply patch
        run: patch -u clingo/libclingo/CMakeLists.txt -i bugfix.patch
      - name: Install bison
        run: sudo apt-get install bison
      - name: Install re2c
        run: sudo apt-get install re2c
      - name: Build
        run: cargo build --features static-linking --verbose
      - name: Run tests
        run: cargo test --features static-linking --verbose
  build-macos-static:
    runs-on: "macos-latest"
    steps:
      - uses: actions/checkout@v2
      - name: update submodules
        run: git submodule update --init --recursive
      - name: checkout correct clingo version
        run: |
             cd clingo 
             git checkout v5.6.2 
             cd ..
      - name: Apply patch
        run: patch -u clingo/libclingo/CMakeLists.txt -i bugfix.patch
      - name: Install build dependencies
        run: |
          brew update
          brew install bison@2.7
          brew install re2c
      - name: Build
        run: |
          export PATH="/usr/local/opt/bison@2.7/bin:$PATH"
          cargo build --features static-linking --verbose
      - name: Run tests
        run: |
          export PATH="/usr/local/opt/bison@2.7/bin:$PATH"
          cargo test --features static-linking --verbose
  build-windows-static:
    runs-on: "windows-latest"
    steps:
      - uses: actions/checkout@v2
      - name: update submodules
        run: git submodule update --init --recursive
      - name: checkout correct clingo version
        run: |
             cd clingo 
             git checkout v5.6.2 
             cd ..
      - name: Apply patch
        run: patch -u clingo/libclingo/CMakeLists.txt -i bugfix.patch
      - name: Install bison
        run: choco install winflexbison
      - name: Install re2c
        run: choco install re2c
      - name: Build
        run: cargo build --features static-linking -vv
      - name: Run tests
        run: cargo test --features static-linking --verbose