explicit

nxtgm · Jan 16, 2024 · f833e34 · f833e34
1 parent 845b9b6
commit f833e34
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -41,6 +41,10 @@ jobs:
       - name: cmake configure
         shell: bash -l {0}
         run: |
+          SHARED_LIB_EXT=so
+          if [ "$(uname)" == "Darwin" ]; then
+            SHARED_LIB_EXT=dylib
+          fi
           mkdir -p bld
           cd bld
           cmake \
@@ -49,7 +53,10 @@ jobs:
               -DBUILD_SINGLE_BINARY_TESTS=ON \
               -DBUILD_PYTHON=ON \
               -DBUILD_DOCS=ON \
-          .. -DCMAKE_INSTALL_PREFIX=$CONDA_PREFIX
+              -DHIGHS_LIBRARY=$CONDA_PREFIX/lib/libhighs.$SHARED_LIB_EXT \
+              -DHIGHS_INCLUDE_DIR=$CONDA_PREFIX/include/highs \
+              -DCMAKE_INSTALL_PREFIX=$CONDA_PREFIX \
+          ..
 
       - name: Build
         shell: bash -l {0}

diff --git a/.github/workflows/ci_splitted.yaml b/.github/workflows/ci_splitted.yaml
@@ -64,6 +64,11 @@ jobs:
       - name: build all plugins
         shell: bash -l {0}
         run: |
+          SHARED_LIB_EXT=so
+          if [ "$(uname)" == "Darwin" ]; then
+            SHARED_LIB_EXT=dylib
+          fi
+
           set -e
           cd src/nxtgm/plugins/
           # loop over all subdirectories / plugin types
@@ -77,7 +82,9 @@ jobs:
               pushd $plugin_impl
               mkdir -p bld
               pushd bld
-              cmake .. -DCMAKE_INSTALL_PREFIX=$CONDA_PREFIX
+              cmake .. -DCMAKE_INSTALL_PREFIX=$CONDA_PREFIX \
+                       -DHIGHS_LIBRARY=$CONDA_PREFIX/lib/libhighs.$SHARED_LIB_EXT \
+                       -DHIGHS_INCLUDE_DIR=$CONDA_PREFIX/include/highs
               make -j ${{ steps.cpu-cores.outputs.count }}
               make install
               popd