Moved most modules into lib

1 files changed, 71 insertions, 0 deletions

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 .)