-include Makefile.in

theory_w.o: ../theory_w.cpp
	g++ -O0 -Wall \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-DHAVE_CONFIG_H  ../theory_w.cpp -o theory_w.o 


debug: ../theory_w.cpp
	g++ -g -O0 -ggdb -fno-inline -Wall -O0 \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-DHAVE_CONFIG_H  ../theory_w.cpp -o theory_w.o 

profile: ../theory_w.cpp
	g++ -O0 -Wall -O0 \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-DHAVE_CONFIG_H  ../theory_w.cpp -o theory_w.o 

satbox_in.o: ../theory_w.cpp ../satbox_in.cpp
	g++ -O0 -Wall \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-I../../satbox \
	-DHAVE_CONFIG_H  ../satbox_in.cpp -o satbox_in.o

satbox_debug: ../theory_w.cpp ../satbox_in.cpp
	g++ -O0 -Wall -ggdb -g \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-I../../satbox \
	-DHAVE_CONFIG_H  ../satbox_in.cpp -o satbox_in.o

satbox_profile: ../theory_w.cpp ../satbox_in.cpp
	g++ -O0 -Wall -pg \
	-I$(CVCL_INCLUDE_DIR) -I$(CVCL_LIB_DIR) \
	-I. -I$(OCAML_LIB_DIR) -c  \
	-DCVCL_THEORY \
	$(CVCL_FLAGS) \
	-I../../satbox \
	-DHAVE_CONFIG_H  ../satbox_in.cpp -o satbox_in.o

