cmake build

1 files changed, 64 insertions, 0 deletions

diff --git a/omegalib/omega_lib/CMakeLists.txt b/omegalib/omega_lib/CMakeLists.txt
new file mode 100644
index 0000000..84ee384
--- /dev/null
+++ b/omegalib/omega_lib/CMakeLists.txt
@@ -0,0 +1,64 @@
+set(BASIC_SRC
+    ${OMEGAROOT}/basic/src/ConstString.cc
+    ${OMEGAROOT}/basic/src/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(
+    ${OMEGAROOT}/basic/include
+    include
+    )
+
+add_library(omega
+    ${BASIC_SRC}
+    ${OC_SRC}
+    ${PRES_SRC}
+    ${REL_SRC}
+    ${FANCY_SRC}
+    )