SRC = goto_convert.cpp goto_function.cpp goto_main.cpp goto_sideeffects.cpp \
      goto_program.cpp basic_blocks.cpp goto_threads.cpp goto_check.cpp \
      goto_function_pointers.cpp goto_functions.cpp goto_inline.cpp \
      remove_skip.cpp function_dependencies.cpp goto_convert_functions.cpp \
      builtin_functions.cpp show_claims.cpp destructor.cpp set_claims.cpp \
      slicer.cpp invariant_set.cpp invariant_propagation.cpp \
      add_race_assertions.cpp rw_set.cpp read_goto_binary.cpp \
      read_goto_object.cpp xml_goto_function.cpp \
      xml_goto_program.cpp xml_goto_program_hashing.cpp\
      xml_goto_function_hashing.cpp invariant_set_domain.cpp \
      static_analysis.cpp

OBJ = $(SRC:.cpp=.o)

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

all: goto-programs.o

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

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

goto-programs.o: $(OBJ)
	$(LD) -r -o goto-programs.o $(OBJ)

clean:
	rm -f *.o

