Build system.

msoeken · Dec 1, 2017 · 8f8caa9 · 8f8caa9
1 parent 0469789
commit 8f8caa9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 8 deletions.
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
@@ -1,8 +1,5 @@
-set(CMAKE_CXX_FLAGS_TMP ${CMAKE_CXX_FLAGS})
-set(CMAKE_CXX_FLAGS "-Wno-unused-variable -Wno-macro-redefined -Wno-format")
 set(ABC_USE_NAMESPACE "abc")
 add_subdirectory( abc )
-set(CMAKE_CXX_FLAGS ${CMAKE_CXX_FLAGS_TMP})
 
 add_subdirectory(kitty)
 

diff --git a/programs/CMakeLists.txt b/programs/CMakeLists.txt
@@ -35,7 +35,7 @@ add_cirkit_program(
   SOURCES
     core/abc_cli.cpp
   USE
-    libabc
+    libabc-pic
     ${Boost_SYSTEM_LIBRARIES}
     ${Boost_FILESYSTEM_LIBRARIES}
     ${Boost_PROGRAM_OPTIONS_LIBRARIES}

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -17,12 +17,9 @@ add_cirkit_library(
   AUTO_DIRS classical
   USE
     cirkit_core
-    libabc
+    libabc-pic
     kitty
-    #${abc_LIBRARIES}
     ${MINISAT_LIBRARIES}
-  #INCLUDE
-  #  SYSTEM PUBLIC ${CMAKE_BINARY_DIR}/ext/abc-prefix/src/abc/src
 )
 
 add_cirkit_library(