Skip to content

Commit

Permalink
Fix workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
Lipen committed Mar 2, 2024
1 parent 4788f36 commit bacfc2b
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -76,15 +76,18 @@ jobs:
- name: Show libs
run: |
ls -al --group-directories-first kotlin-satlib-(jni|jna)/solvers/*-src/install/lib
ls -al --group-directories-first kotlin-satlib-jni/solvers/*-src/install/lib
ls -al --group-directories-first kotlin-satlib-jna/solvers/*-src/install/lib
- name: Fixup libcryptominisat5.so
working-directory: kotlin-satlib-jni
run: |
cp --remove-destination $(readlink -f solvers/cms-src/install/lib/libcryptominisat5.so) solvers/cms-src/install/lib/libcryptominisat5.so
- name: Set up ld cache
run: sudo ldconfig $(realpath kotlin-satlib-(jni|jna)/solvers/*-src/install/lib)
run: sudo ldconfig \
$(realpath kotlin-satlib-jni/solvers/*-src/install/lib) \
$(realpath kotlin-satlib-jna/solvers/*-src/install/lib)

- name: Build JNI libs
working-directory: kotlin-satlib-jni
Expand Down Expand Up @@ -199,7 +202,8 @@ jobs:
- name: Show libs
run: |
ls -al --group-directories-first kotlin-satlib-(jni|jna)/solvers/*-src/install/lib
ls -al --group-directories-first kotlin-satlib-jni/solvers/*-src/install/lib
ls -al --group-directories-first kotlin-satlib-jna/solvers/*-src/install/lib
- name: Copy solver libs to C:/Windows
run: |
Expand Down

0 comments on commit bacfc2b

Please sign in to comment.