CFLAGS += -g -I../include-link
# -I/home/sandro/local/src/STLport-4.5/stlport
CPPFLAGS += -g -I../include-link 
LDLIBS += -L../src -lblindfold -ldl

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

test: all
	../make/tester

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

sentence: ../src/libblindfold.a

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