File tree Expand file tree Collapse file tree 1 file changed +11
-4
lines changed
Expand file tree Collapse file tree 1 file changed +11
-4
lines changed Original file line number Diff line number Diff 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" ) ) ]
You can’t perform that action at this time.
0 commit comments