Fix libdir on Debian

Lipen · Mar 1, 2024 · 5edc0c2 · 5edc0c2
1 parent 27cdd95
commit 5edc0c2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -35,17 +35,16 @@ jobs:
         run: |
           git clone --depth=1 https://github.com/Lipen/minisat solvers/minisat-src
           cd solvers/minisat-src
-          meson setup builddir --buildtype release --strip --prefix=$(realpath install)
+          meson setup builddir --buildtype release --strip --libdir=lib --prefix=$(realpath install)
           meson compile -C builddir
           meson install -C builddir
-          mv install/lib/x86_64-linux-gnu/* install/lib/
 
       - name: Build Glucose
         working-directory: kotlin-satlib-jni
         run: |
           git clone --depth=1 https://github.com/Lipen/glucose solvers/glucose-src
           cd solvers/glucose-src
-          meson setup builddir --buildtype release --strip --prefix=$(realpath install)
+          meson setup builddir --buildtype release --strip --libdir=lib --prefix=$(realpath install)
           meson compile -C builddir
           meson install -C builddir