Skip to content

Commit 0037d4f

Browse files
committed
Fix from-source build errors
1 parent b82e7b6 commit 0037d4f

File tree

1 file changed

+11
-4
lines changed

1 file changed

+11
-4
lines changed

from_source.rs

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,8 @@ pub fn compile_scip(source_path: PathBuf) -> PathBuf {
4444
}
4545

4646
use cmake::Config;
47-
let mut dst = Config::new(source_path);
48-
49-
dst.define("IPOPT", "OFF")
47+
let dst = Config::new(source_path)
48+
.define("IPOPT", "OFF")
5049
.define("ZIMPL", "OFF")
5150
.define("GMP", "OFF")
5251
.define("READLINE", "OFF")
@@ -56,7 +55,15 @@ pub fn compile_scip(source_path: PathBuf) -> PathBuf {
5655
.define("SYM", "snauty")
5756
.define("ZLIB", "OFF")
5857
.define("SHARED", "OFF")
59-
.build()
58+
.define("GCG", "OFF")
59+
.define("UG", "OFF")
60+
.define("SANITIZE_ADDRESS", "OFF")
61+
.define("SANITIZE_MEMORY", "OFF")
62+
.define("SANITIZE_UNDEFINED", "OFF")
63+
.define("SANITIZE_THREAD", "OFF")
64+
.build();
65+
66+
dst
6067
}
6168

6269
#[cfg(not(feature = "from-source"))]

0 commit comments

Comments
 (0)