
SHELL = /bin/sh

OBJ1 = ../sce/cccc/c4_lofig.o ../sce/facto/bdd2.o ../sce/facto/sl_DC.o ../sce/facto/optimexpr.o ../sce/facto/optim.o ../sce/facto/sl_facto.o ../sce/bddorder/bdd_order.o ../sce/ablorder/sl_order.o ../sce/compil/sl_util.o ../sce/proof/proof_util.o ../sce/compil/sl_compile.o ../sce/synthe/sl_system.o ../sce/synthe/sl_main.o ../sce/mapping/moteur.o ../sce/mapping/generic.o ../sce/mapping/arbres.o ../sce/mapping/compile.o ../sce/mapping/cout.o ../sce/mapping/decomp.o ../sce/mapping/display.o ../sce/mapping/mapper.o ../sce/mapping/oper.o ../sce/mapping/regles.o ../sce/mapping/util.o ../sce/decomp/dec4.o ../sce/cccc/c4.o ../sce/cccc/c4_debug.o ../sce/cccc/c4_genlib.o ../sce/cccc/c4_stretch.o ../sce/mbk/sl_mbk.o ../sce/param/sl_param.o ../sce/menu/auvol.o ../sce/menu/sl_corps.o ../sce/prepar/post.o ../sce/prepar/balance.o ../sce/prepar/bib.o ../sce/prepar/carac.o ../sce/prepar/devxor.o ../sce/prepar/flatpol.o ../sce/prepar/map.o ../sce/prepar/prep.o ../sce/carac4/sens.o ../sce/prepar/compact.o

OBJ3 = ../sce/decomp/high1.o ../sce/decomp/low1.o ../sce/decomp/not1.o ../sce/decomp/latch1.o ../sce/decomp/bd.o ../sce/decomp/latch2.o ../sce/decomp/bus1.o ../sce/decomp/latch1n.o ../sce/decomp/latch2n.o


OBJ2 = obj/c4_lofig.o obj/optimexpr.o obj/sl_DC.o obj/bdd2.o obj/sl_facto.o obj/optim.o obj/bdd_order.o obj/sl_order.o obj/sl_util.o obj/proof_util.o obj/sl_compile.o obj/sl_main.o obj/sl_system.o obj/generic.o obj/arbres.o obj/compile.o obj/cout.o obj/decomp.o obj/moteur.o obj/display.o obj/mapper.o obj/oper.o obj/regles.o obj/util.o obj/dec4.o obj/c4.o obj/c4_debug.o obj/c4_genlib.o obj/c4_stretch.o obj/sl_mbk.o obj/auvol.o obj/sl_corps.o obj/sl_param.o obj/balance.o obj/bib.o obj/carac.o obj/devxor.o obj/flatpol.o obj/map.o obj/prep.o obj/sens.o obj/high1.o obj/low1.o obj/not1.o obj/latch1.o obj/bd.o obj/latch2.o obj/bus1.o obj/latch1n.o obj/latch2n.o obj/compact.o obj/post.o

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

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

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

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


