CFLAGS	= -g #-Wall 

FOBJS	= ./fvar.o ./fop.o ./formula.o ./ctrs.o

INCLUDES = $(INC_PATH)
LIBS	= $(LIB_PATH) -lbss -lm -lgmp 

.c.o:
	$(CC) -c $(CFLAGS) $(INCLUDES) $<

all: formulas archive

build:formulas

formulas: $(FOBJS)

test:	test.c build
	cd ../reps; make
	cd ../domains; make
	$(CC) $(CFLAGS) -o test $(FOBJS)  $(INCLUDES) $(LIBS) test.c

archive:
	ar rcv $(ROOT)/lib/libbss.a $(FOBJS) ;\
	cp *.h $(ROOT)/include

clean:
	rm -f *.o *.a test  core *.aux *.dvi *.log
