SRC = arith_tools.cpp base_type.cpp cmdline.cpp config.cpp context.cpp \
      expr.cpp expr_util.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 threeval.cpp typecheck.cpp graph.cpp \
      type.cpp cnf_simplify.cpp str_getline.cpp strstream2string.cpp \
      bitvector.cpp parser.cpp map_util.cpp replace_symbol.cpp actuals.cpp \
      get_module.cpp string_hash.cpp stringdb.cpp identifier.cpp \
      rational.cpp options.cpp c_misc.cpp simplify_expr.cpp \
      find_symbols.cpp rational_tools.cpp ui_message.cpp simplify_utils.cpp \
      string2array.cpp time_stopping.cpp symbol.cpp expr_visitor.cpp \
      type_eq.cpp guard.cpp array_name.cpp gcd.cpp error_handler.cpp \
      substitute.cpp decision_procedure.cpp union_find.cpp pretty_names.cpp \
      xml.cpp xml_irep.cpp std_types.cpp std_code.cpp pointer_offset_size.cpp \
      format_constant.cpp xml_irep_hashing.cpp xml_symbol.cpp \
      xml_symbol_hashing.cpp find_macros.cpp

OBJ = $(SRC:.cpp=.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
