-
Notifications
You must be signed in to change notification settings - Fork 0
66 lines (63 loc) · 2.08 KB
/
ci-test.yml
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
name: CI Test
on: [push, pull_request]
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: ${{ 3.9 }}
- name: Conda install clingo
shell: bash -l {0}
run: |
conda install -c potassco clingo==5.6.2
- name: Conda install clingo-dl
shell: bash -l {0}
run: |
conda install -c potassco clingo-dl==1.4.0
- name: Conda install clingcon
shell: bash -l {0}
run: |
conda install -c potassco clingcon==5.2.0
- name: Build
run: |
export CLINGO_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
export CLINGO_DL_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
export CLINGCON_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: ${{ 3.9 }}
- name: Conda install clingo
shell: bash -l {0}
run: |
conda install -c potassco clingo==5.6.2
- name: Conda install clingo-dl
shell: bash -l {0}
run: |
conda install -c potassco clingo-dl==1.4.0
- name: Conda install clingcon
shell: bash -l {0}
run: |
conda install -c potassco clingcon==5.2.0
- name: Build
run: |
export CLINGO_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
export CLINGO_DL_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
export CLINGCON_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