SRC = value_set.cpp goto_program_dereference.cpp value_propagation.cpp \
      dereference.cpp pointer_offset_sum.cpp add_failed_symbols.cpp \
      show_value_sets.cpp value_set_domain.cpp

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

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

all: pointer-analysis.o

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

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

pointer-analysis.o: $(OBJ)
	$(LD) -r -o pointer-analysis.o $(OBJ)

clean:
	rm -f *.o

