Install gmp

scipopt · Oct 29, 2024 · 1f1d3c6 · 1f1d3c6
1 parent 0fe4811
commit 1f1d3c6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
@@ -25,7 +25,7 @@ jobs:
         if: matrix.os == 'ubuntu-latest'
         run: |
           sudo apt-get update
-          sudo apt-get install -y libblas-dev liblapack-dev
+          sudo apt-get install -y libblas-dev liblapack-dev libgmp-dev
       - name: Test bundled
         run: |
           cargo b --features bundled -vv

diff --git a/build.rs b/build.rs
@@ -139,8 +139,8 @@ fn main() -> Result<(), Box<dyn Error>> {
     println!("cargo:rustc-link-lib=static=libscip");
     #[cfg(not(windows))]
     {
-        // println!("cargo:rustc-link-lib=static=gmp");
-        // println!("cargo:rustc-link-lib=static=gmpxx");
+        println!("cargo:rustc-link-lib=static=gmp");
+        println!("cargo:rustc-link-lib=static=gmpxx");
         println!("cargo:rustc-link-lib=static=ipopt");
         println!("cargo:rustc-link-lib=static=soplex");
         println!("cargo:rustc-link-lib=static=z");