From 210f77d2c32f14d2e99577fd3c9842bb19d47e50 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 21:14:58 +0000
Subject: Moved most modules into lib

---
 lib/omega/CMakeLists.txt | 71 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 71 insertions(+)
 create mode 100644 lib/omega/CMakeLists.txt

(limited to 'lib/omega/CMakeLists.txt')

diff --git a/lib/omega/CMakeLists.txt b/lib/omega/CMakeLists.txt
new file mode 100644
index 0000000..a7b99c7
--- /dev/null
+++ b/lib/omega/CMakeLists.txt
@@ -0,0 +1,71 @@
+set(OMEGAROOT ${CMAKE_CURRENT_SOURCE_DIR} PARENT_SCOPE)
+
+set(BASIC_SRC
+    src/basic/ConstString.cc
+    src/basic/Link.cc
+    )
+
+set(OC_SRC 
+    src/omega_core/oc.cc
+    src/omega_core/oc_eq.cc
+    src/omega_core/oc_exp_kill.cc
+    src/omega_core/oc_global.cc
+    src/omega_core/oc_print.cc
+    src/omega_core/oc_problems.cc
+    src/omega_core/oc_simple.cc
+    src/omega_core/oc_solve.cc
+    src/omega_core/oc_query.cc
+    src/omega_core/oc_quick_kill.cc
+    src/omega_core/oc_util.cc
+    )
+
+set(PRES_SRC
+    src/pres_beaut.cc
+    src/pres_cnstr.cc
+    src/pres_col.cc
+    src/pres_conj.cc
+    src/pres_decl.cc
+    src/pres_dnf.cc
+    src/pres_form.cc
+    src/pres_gen.cc
+    src/pres_logic.cc
+    src/pres_print.cc
+    src/pres_rear.cc
+    src/pres_quant.cc
+    src/pres_subs.cc
+    src/pres_var.cc
+    )
+
+set(REL_SRC
+    src/evac.cc
+    src/farkas.cc
+    src/hull_legacy.cc
+    src/hull_simple.cc
+    src/Relation.cc
+    src/Relations.cc
+    src/RelBody.cc
+    src/RelVar.cc
+    )
+
+set(FANCY_SRC
+    src/closure.cc
+    src/reach.cc
+    )
+
+include_directories(
+    include
+    )
+
+add_library(omega
+    ${BASIC_SRC}
+    ${OC_SRC}
+    ${PRES_SRC}
+    ${REL_SRC}
+    ${FANCY_SRC}
+    )
+
+install(TARGETS omega
+    ARCHIVE DESTINATION lib)
+
+install(DIRECTORY include
+    DESTINATION .)
-- 
cgit v1.2.3-70-g09d2