cmmake

2017-09-06 01:09:46 +01:00
parent a115024aee
commit abdc8a35f9
31 changed files with 579 additions and 815 deletions
--- a/packages/cplint/CMakeLists.txt
+++ b/packages/cplint/CMakeLists.txt
@@ -132,7 +132,7 @@ IF (CUDD_FOUND)
    ${CMAKE_CURRENT_BINARY_DIR}/../bdd
    )

-  add_library (bddem  SHARED
+  add_lib(bddem
    ${BDDEM_SOURCES}
    )

@@ -153,7 +153,7 @@ IF (CUDD_FOUND)
  )


-  add_library (cplint SHARED
+  add_lib(cplint 
    ${CPLINT_SOURCES}
   )