SHELL = /bin/sh

OBJ1 = facto/sl_DC.o facto/bdd2.o facto/optim.o facto/sl_facto.o bddorder/bdd_order.o ablorder/sl_order.o proof/proof_main.o compil/sl_util.o proof/proof_util.o compil/sl_compile.o prepar/prep.o prepar/carac.o prepar/bib.o prepar/compact.o facto/optimexpr.o

OBJ2 = obj/bdd2.o obj/sl_DC.o obj/sl_facto.o obj/optim.o obj/bdd_order.o obj/sl_order.o obj/proof_main.o obj/sl_util.o obj/proof_util.o obj/sl_compile.o obj/prep.o obj/carac.o obj/bib.o obj/compact.o obj/optimexpr.o

CFLAGS = -L../../../archi/$(MACHINE)/lib -I../../../archi/$(MACHINE)/include -g


LIB = -L../../../archi/$(MACHINE)/lib -lMgn314 -lMpu306 -lMlu406 -lMcp307 -lMcl406 -lMap305 -lMal400 -lMhl402 -lMvl404 -lMsl600 -lMel400 -lMph306 -lMlo402 -lMut309 -lBvl106 -lBeh104

proof : $(OBJ1)
	-mv *.o obj 
	cc -g -o ../bin/proof $(OBJ2) -ll $(LIB) -lbdd120 -labl120 -ltsh120 -lm

distrib : $(OBJ1)
	-mv *.o obj
	cc -g -o ../bin/proof $(OBJ2) -ll $(LIB) -lbdd120 -labl120 -ltsh120 -lm
