1 files changed, 57 insertions, 0 deletions
diff --git a/omega/omega_lib/obj/Makefile b/omega/omega_lib/obj/Makefile
new file mode 100644
index 0000000..3d0ffd2
--- /dev/null
+++ b/omega/omega_lib/obj/Makefile
@@ -0,0 +1,57 @@
+# Makefile for release 1.0 of the omega system
+# DON'T EDIT -- put any locally required changes in Makefile.config.
+# See INSTALL for more details.
+
+LIB_TARGET = libomega.a
+
+all: $(LIB_TARGET)
+depend: depend_self
+clean: clean_self
+veryclean: veryclean_self
+
+
+
+BASIC_SRC = $(BASEDIR)/basic/src/ConstString.cc $(BASEDIR)/basic/src/Link.cc
+BASIC_OBJ = ConstString.o Link.o
+
+OC_SRC = ../src/omega_core/oc.cc ../src/omega_core/oc_solve.cc \
+         ../src/omega_core/oc_simple.cc ../src/omega_core/oc_eq.cc \
+         ../src/omega_core/oc_problems.cc ../src/omega_core/oc_print.cc \
+         ../src/omega_core/oc_quick_kill.cc ../src/omega_core/oc_exp_kill.cc \
+         ../src/omega_core/oc_query.cc ../src/omega_core/oc_util.cc \
+         ../src/omega_core/oc_global.cc
+OC_OBJ = $(addsuffix .o, $(basename $(notdir $(OC_SRC))))
+
+PRES_SRC = ../src/pres_print.cc ../src/pres_rear.cc ../src/pres_beaut.cc \
+           ../src/pres_dnf.cc ../src/pres_conj.cc ../src/pres_quant.cc \
+           ../src/pres_decl.cc ../src/pres_logic.cc ../src/pres_form.cc \
+           ../src/pres_cnstr.cc ../src/pres_var.cc ../src/pres_gen.cc \
+           ../src/pres_col.cc ../src/pres_subs.cc
+PRES_OBJ = $(addsuffix .o, $(basename $(notdir $(PRES_SRC))))
+
+REL_SRC = ../src/Relations.cc ../src/Relation.cc ../src/RelBody.cc ../src/RelVar.cc \
+          ../src/evac.cc ../src/farkas.cc ../src/hull_legacy.cc ../src/hull_simple.cc
+REL_OBJ = $(addsuffix .o, $(basename $(notdir $(REL_SRC))))
+
+FANCY_SRC = ../src/reach.cc ../src/closure.cc
+FANCY_OBJ = $(addsuffix .o, $(basename $(notdir $(FANCY_SRC))))
+
+
+LIB_SRC = ${FANCY_SRC} ${REL_SRC} ${PRES_SRC} ${OC_SRC} ${BASIC_SRC}
+LIB_OBJ = ${OC_OBJ} ${BASIC_OBJ} ${FANCY_OBJ} ${REL_OBJ} ${PRES_OBJ}
+
+OBJS=$(LIB_OBJ)
+SRCS=$(LIB_SRC)
+OBJS=$(LIB_OBJ)
+
+BASEDIR=../..
+include $(BASEDIR)/Makefile.config
+include $(BASEDIR)/Makefile.rules
+
+#Extra rule for nonstandard source layout
+%.o: ../src/omega_core/%.cc
+	$(CC) $(CFLAGS) $(INCL_PATH) -c $< -o $@
+
+ifeq ($(shell test -f Makefile.deps && echo "true"), true)
+include Makefile.deps
+endif