# 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=omega
LIB_NAME=lib$(LIB).a
MYTARGET=$(LIB_NAME)

# Required libraries
REQUIRED=

all: $(MYTARGET)
$(MYTARGET): .library
install: install_library install_includes install_omega_h
depend: depend_library
clean: clean_self
veryclean: veryclean_self

# Special rule; no other library has top-level includes.
install_omega_h: always
	cd $(BASEDIR)/omega_lib/include; \
	$(CP) -p omega.h $(INCL_DESTDIR)

BASIC_SRC = $(BASEDIR)/basic/src/ConstString.cc $(BASEDIR)/basic/src/Link.cc $(BASEDIR)/basic/src/Exit.cc
BASIC_OBJ = ConstString.o Link.o Exit.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 = oc.o oc_solve.o oc_simple.o oc_eq.o oc_problems.o oc_print.o \
         oc_query.o oc_quick_kill.o oc_exp_kill.o oc_util.o oc_global.o

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 = pres_print.o pres_rear.o pres_beaut.o pres_dnf.o pres_conj.o \
           pres_quant.o pres_decl.o pres_logic.o pres_form.o pres_cnstr.o \
           pres_var.o pres_gen.o pres_col.o pres_subs.o

REL_SRC = ../src/Relations.cc ../src/Relation.cc ../src/RelBody.cc \
          ../src/RelVar.cc ../src/evac.cc ../src/farkas.cc ../src/hull.cc

REL_OBJ = Relations.o Relation.o RelBody.o RelVar.o evac.o farkas.o hull.o


FANCY_SRC = ../src/reach.cc ../src/closure.cc ../src/lib_hack.cc \
            ../src/AST.cc
FANCY_OBJ = reach.o closure.o lib_hack.o AST.o

LIB_OBJ = ${OC_OBJ} ${BASIC_OBJ} ${FANCY_OBJ} ${REL_OBJ} ${PRES_OBJ}
LIB_SRC = ${FANCY_SRC} ${REL_SRC} ${PRES_SRC} ${OC_SRC} ${BASIC_SRC}

OBJS=$(LIB_OBJ)
SRCS=$(LIB_SRC)

#Extra rule for nonstandard source layout
%.o: ../src/omega_core/%.cc
	$(CC) $(CFLAGS) -c $<


BASEDIR=../..
include $(BASEDIR)/Makefile.rules