1 files changed, 47 insertions, 0 deletions
diff --git a/omega/omega_lib/obj/Makefile.am b/omega/omega_lib/obj/Makefile.am
new file mode 100644
index 0000000..455fc58
--- /dev/null
+++ b/omega/omega_lib/obj/Makefile.am
@@ -0,0 +1,47 @@
+noinst_LIBRARIES   = libomega.a
+
+basic_src   =../../basic/src/ConstString.cc
+basic_src  +=../../basic/src/Link.cc
+
+oc_src   =../src/omega_core/oc.cc
+oc_src  +=../src/omega_core/oc_eq.cc
+oc_src  +=../src/omega_core/oc_exp_kill.cc
+oc_src  +=../src/omega_core/oc_global.cc
+oc_src  +=../src/omega_core/oc_print.cc
+oc_src  +=../src/omega_core/oc_problems.cc
+oc_src  +=../src/omega_core/oc_simple.cc
+oc_src  +=../src/omega_core/oc_solve.cc
+oc_src  +=../src/omega_core/oc_query.cc
+oc_src  +=../src/omega_core/oc_quick_kill.cc
+oc_src  +=../src/omega_core/oc_util.cc
+
+pres_src   =../src/pres_beaut.cc
+pres_src  +=../src/pres_cnstr.cc
+pres_src  +=../src/pres_col.cc
+pres_src  +=../src/pres_conj.cc
+pres_src  +=../src/pres_decl.cc
+pres_src  +=../src/pres_dnf.cc
+pres_src  +=../src/pres_form.cc
+pres_src  +=../src/pres_gen.cc
+pres_src  +=../src/pres_logic.cc
+pres_src  +=../src/pres_print.cc
+pres_src  +=../src/pres_rear.cc
+pres_src  +=../src/pres_quant.cc
+pres_src  +=../src/pres_subs.cc
+pres_src  +=../src/pres_var.cc
+
+rel_src   =../src/evac.cc
+rel_src  +=../src/farkas.cc
+rel_src  +=../src/hull_legacy.cc
+rel_src  +=../src/hull_simple.cc
+rel_src  +=../src/Relation.cc
+rel_src  +=../src/Relations.cc
+rel_src  +=../src/RelBody.cc
+rel_src  +=../src/RelVar.cc
+
+fancy_src   =../src/closure.cc
+fancy_src  +=../src/reach.cc
+
+
+libomega_a_SOURCES  =$(basic_src) $(oc_src) $(pres_src) $(rel_src) $(fancy_src)
+libomega_a_CPPFLAGS =-I../include -I../../basic/include