SRC = arith_tools.cpp base_type.cpp cmdline.cpp config.cpp context.cpp \
      expr.cpp expr_util.cpp h_sequent.cpp i2string.cpp irep.cpp language.cpp \
      lispexpr.cpp lispirep.cpp location.cpp message.cpp language_file.cpp \
      mp_arith.cpp namespace.cpp parseoptions.cpp rename.cpp \
      replace_expr.cpp sequent.cpp simplify.cpp threeval.cpp typecheck.cpp \
      type.cpp cnf_simplify.cpp str_getline.cpp strstream2string.cpp \
      bitvector.cpp parser.cpp map_util.cpp replace_symbol.cpp actuals.cpp

OBJ = arith_tools.o base_type.o cmdline.o config.o context.o \
      expr.o expr_util.o h_sequent.o i2string.o irep.o language.o \
      lispexpr.o lispirep.o location.o message.o mp_arith.o \
      namespace.o parseoptions.o rename.o replace_expr.o language_file.o \
      sequent.o simplify.o threeval.o typecheck.o type.o cnf_simplify.o \
      str_getline.o strstream2string.o bitvector.o parser.o map_util.o \
      replace_symbol.o actuals.o

INCLUDES= -I .. -I ../util

all: util.o

include ../config.inc
include ../common

###############################################################################

util.o: $(OBJ)
	$(LD) -r -o util.o $(OBJ)

clean:
	rm -f *.o

