SRC = prop.cpp boolbv_width.cpp boolbv.cpp equality.cpp \
      arrays.cpp bv_pointers.cpp bv_utils.cpp \
      prop_conv.cpp functions.cpp boolbv_with.cpp \
      boolbv_typecast.cpp boolbv_index.cpp boolbv_member.cpp \
      boolbv_if.cpp boolbv_byte_extract.cpp cvc_conv.cpp \
      boolbv_add_sub.cpp boolbv_mult.cpp boolbv_constant.cpp \
      boolbv_extractbit.cpp boolbv_bv_rel.cpp boolbv_shift.cpp \
      boolbv_case.cpp boolbv_cond.cpp boolbv_concatenation.cpp \
      boolbv_div.cpp boolbv_mod.cpp boolbv_extractbits.cpp \
      boolbv_replication.cpp boolbv_reduction.cpp boolbv_overflow.cpp \
      boolbv_get.cpp boolbv_bitwise.cpp boolbv_equality.cpp \
      pointer_logic.cpp boolbv_quantifier.cpp smt_conv.cpp \
      prop_conv_store.cpp cvc_dec.cpp smt_dec.cpp

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

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

all: propdec.o

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

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

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

clean:
	rm -f *.o
