saved states and anaconda

2017-11-15 12:18:19 +00:00
parent 450d7a2bdd
commit ed2c85a56b
22 changed files with 230 additions and 150 deletions
--- a/packages/cplint/CMakeLists.txt
+++ b/packages/cplint/CMakeLists.txt
@@ -139,6 +139,7 @@ IF (CUDD_FOUND)
  TARGET_LINK_LIBRARIES(bddem
    ${CUDD_LIBRARIES}
    libYap
+          m
    )

  set_target_properties (bddem  PROPERTIES
--- a/packages/cplint/approx/simplecuddLPADs/CMakeLists.txt
+++ b/packages/cplint/approx/simplecuddLPADs/CMakeLists.txt
@@ -15,6 +15,7 @@ set_target_properties (LPADbdd PROPERTIES
  )

 target_link_libraries(LPADbdd
+        m
  ${CUDD_LIBRARIES}    
  libYap    
 )