sympol/trunk/sympol-lrs-071.patch

   1 --- sympol/CMakeLists.txt.orig  2016-05-08 13:52:35.000000000 -0600
   2 +++ sympol/CMakeLists.txt       2020-07-06 08:35:36.253421935 -0600
   3 @@ -73,7 +73,7 @@ set_target_properties(sympol PROPERTIES
   4  add_executable(sympolbin sympol.cpp)
   5  set_target_properties(sympolbin PROPERTIES OUTPUT_NAME sympol)
   6
   7 -set(TARGET_LIBS ${TARGET_LIBS} lrsgmp cddgmp ${GMP_LIBRARIES} ${Boost_LIBRARIES})
   8 +set(TARGET_LIBS ${TARGET_LIBS} lrs cddgmp ${GMP_LIBRARIES} ${Boost_LIBRARIES})
   9  target_link_libraries(sympol ${TARGET_LIBS})
  10  target_link_libraries(sympolbin sympol)
  11
  12 --- sympol/raycomputationlrs.cpp.orig   2016-05-08 13:52:35.000000000 -0600
  13 +++ sympol/raycomputationlrs.cpp        2020-07-06 08:37:15.240288168 -0600
  14 @@ -25,6 +25,7 @@
  15  #include "polyhedron.h"
  16
  17  extern "C" {
  18 +  #include <lrsrestart.h>
  19    #include <lrslib.h>
  20  }
  21
  22 @@ -66,7 +67,6 @@ bool RayComputationLRS::finish() {
  23          return true;
  24      }
  25
  26 -    lrs_mp_close();
  27
  28      if (RayComputationLRS::ms_fIn != NULL) {
  29          if (std::fclose(RayComputationLRS::ms_fIn)) {