Will this allow it to run on linux?

Author: mmcilree

CMakeLists.txt

@@ -150,12 +150,13 @@ if (GCS_ENABLE_HIGHS)
     #    block()
     #        set(CMAKE_BUILD_TYPE Debug)
     #        set(DEBUG_MEMORY "Thread")
-    FetchContent_Declare(
+    ExternalProject_Add(
             HiGHS
+            PREFIX ${CMAKE_SOURCE_DIR}/HiGHS
             GIT_REPOSITORY https://github.com/ERGO-Code/HiGHS.git
             GIT_TAG v1.8.1
+            INSTALL_COMMAND ""
     )
-    FetchContent_MakeAvailable(HiGHS)
     #    endblock()
 endif (GCS_ENABLE_HIGHS)
 

examples/CMakeLists.txt

@@ -1,5 +1,6 @@
 set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR})
 include_directories(${CMAKE_SOURCE_DIR}/generator/src/generator/include)
+link_directories(${CMAKE_SOURCE_DIR}/HiGHS/src/HiGHS-build/lib)
 add_subdirectory(auto_table)
 add_subdirectory(black_hole)
 add_subdirectory(cake)

gcs/CMakeLists.txt

@@ -70,6 +70,9 @@ add_library(glasgow_constraint_solver
 )
 
 include_directories(${CMAKE_SOURCE_DIR}/generator/src/generator/include)
+include_directories(${CMAKE_SOURCE_DIR}/HiGHS/src/HiGHS/src)
+include_directories(${CMAKE_SOURCE_DIR}/HiGHS/src/HiGHS-build)
+link_directories(${CMAKE_SOURCE_DIR}/HiGHS/src/HiGHS-build/lib)
 
 # This appears to be necessary for the python install to work,
 # Not sure why exactly...

gcs/innards/proofs/lp_justifier.cc

@@ -186,7 +186,7 @@ struct LPJustifier::Imp
 
         // First modify the model depending on whether we're inferring contradiction
         if (inferring_contradiction) {
-            std::cout << "Inferring contradiction" << std::endl;
+            //            std::cout << "Inferring contradiction" << std::endl;
             //  Solving {min 0 : A^Ty = 0, b^Ty <= -1}
             auto new_idx = vector<HighsInt>{};
             auto new_val = vector<double>{};