CFLAGS += -g -I../include -I/home/sandro/local/src/xsb-2.4/emu -I/home/sandro/local/src/xsb-2.4/config/i686-pc-linux-gnu
CPPFLAGS += -g -I../include -I/home/sandro/local/src/STLport-4.5/stlport -I/home/sandro/local/src/xsb-2.4/emu -I/home/sandro/local/src/xsb-2.4/config/i686-pc-linux-gnu
LDLIBS += -L/home/sandro/local/src/STLport-4.5/lib -lstlport_gcc -L../src -lblindfold /home/sandro/local/src/xsb-2.4/config/i686-pc-linux-gnu/saved.o/xsb.o -ldl

all: bf # xsb_caller
	make `../make/targets`

test: all
	../make/tester

bf::
	cd ../src; make library
	cp -p ../src/*.h ../include/blindfold

clean::
	rm -f *.o *~ `../make/targets`

xsb_caller: xsb_caller.c
	gcc -c -O4 -ansi -pedantic -Wall -I /home/sandro/local/src/xsb-2.4/emu -I /home/sandro/local/src/xsb-2.3/config/i686-pc-linux-gnu xsb_caller.c
	gcc -o xsb_caller /home/sandro/local/src/xsb-2.4/config/i686-pc-linux-gnu/saved.o/xsb.o xsb_caller.o -lm -ldl -Wl,-export-dynamic

