source: cegar_dev/cegar/Makefile @ 3

Last change on this file since 3 was 3, checked in by syed, 14 years ago

creation du repertoire et ajout main.c and Makefile

File size: 6.0 KB
Line 
1 VIS_PATH=/dsk/l1/misc/Soft
2 LIB_VIS=$(VIS_PATH)/lib
3 LIB_OPT= -lMonvis   -lcu -lglu -lm -lbsd  -lreadline -ltermcap -lfl
4 GCC_OPT =  -g -O6 -mcpu=pentiumpro -malign-double
5 D_OPT = -DBDDcu
6 INCLUDE=  -I$(VIS_PATH)/include
7 LIB_GLU = $(VIS_PATH)/lib
8 VIS_OBJ_PATH=$(VIS_PATH)/vis-2.3/obj
9 
10 VIS_OBJ= $(VIS_OBJ_PATH)/ctlpRead.o $(VIS_OBJ_PATH)/ctlspRead.o\
11 $(VIS_OBJ_PATH)/ioYacc.o $(VIS_OBJ_PATH)/absCatalog.o $(VIS_OBJ_PATH)/absCmd.o\
12 $(VIS_OBJ_PATH)/absEvaluate.o $(VIS_OBJ_PATH)/absInternal.o $(VIS_OBJ_PATH)/absRefine.o \
13 $(VIS_OBJ_PATH)/absTranslate.o $(VIS_OBJ_PATH)/absUtil.o $(VIS_OBJ_PATH)/amcBlock.o \
14 $(VIS_OBJ_PATH)/amcCmd.o $(VIS_OBJ_PATH)/amcAmc.o $(VIS_OBJ_PATH)/baigCmd.o\
15 $(VIS_OBJ_PATH)/baigNode.o $(VIS_OBJ_PATH)/baigBddSweep.o\
16 $(VIS_OBJ_PATH)/baigTimeframe.o $(VIS_OBJ_PATH)/baigAllSat.o $(VIS_OBJ_PATH)/bmcUtil.o\
17 $(VIS_OBJ_PATH)/bmcCmd.o $(VIS_OBJ_PATH)/bmcBmc.o\
18 $(VIS_OBJ_PATH)/bmcCirCUsUtil.o $(VIS_OBJ_PATH)/bmcCirCUs.o $(VIS_OBJ_PATH)/bmcAutSat.o $(VIS_OBJ_PATH)/bmcAutUtil.o\
19 $(VIS_OBJ_PATH)/cmdCmd.o $(VIS_OBJ_PATH)/cmdFile.o $(VIS_OBJ_PATH)/cmdMisc.o\
20 $(VIS_OBJ_PATH)/ctlpCmd.o $(VIS_OBJ_PATH)/ctlpUtil.o\
21 $(VIS_OBJ_PATH)/ctlspCmd.o $(VIS_OBJ_PATH)/ctlspUtil.o \
22 $(VIS_OBJ_PATH)/eqvCmd.o $(VIS_OBJ_PATH)/eqvMisc.o\
23 $(VIS_OBJ_PATH)/eqvVerify.o\
24 $(VIS_OBJ_PATH)/fsmCmd.o $(VIS_OBJ_PATH)/fsmFair.o \
25 $(VIS_OBJ_PATH)/fsmFsm.o $(VIS_OBJ_PATH)/fsmReach.o $(VIS_OBJ_PATH)/fsmHD.o\
26 $(VIS_OBJ_PATH)/fsmArdc.o  $(VIS_OBJ_PATH)/grabUtil.o\
27 $(VIS_OBJ_PATH)/grabBMC.o $(VIS_OBJ_PATH)/grabGrab.o $(VIS_OBJ_PATH)/grab.o\
28 $(VIS_OBJ_PATH)/hrcCmd.o $(VIS_OBJ_PATH)/hrcHierarchy.o\
29 $(VIS_OBJ_PATH)/hrcInOut.o $(VIS_OBJ_PATH)/hrcMemUtil.o\
30 $(VIS_OBJ_PATH)/hrcMisc.o\
31 $(VIS_OBJ_PATH)/hrcModify.o $(VIS_OBJ_PATH)/imcCmd.o $(VIS_OBJ_PATH)/imcImc.o\
32 $(VIS_OBJ_PATH)/imgLinear.o $(VIS_OBJ_PATH)/imgHybrid.o \
33 $(VIS_OBJ_PATH)/imgIwls95.o $(VIS_OBJ_PATH)/imgMlp.o\
34 $(VIS_OBJ_PATH)/imgMonolithic.o $(VIS_OBJ_PATH)/imgTfm.o \
35 $(VIS_OBJ_PATH)/imgTfmBwd.o $(VIS_OBJ_PATH)/imgTfmCache.o\
36 $(VIS_OBJ_PATH)/imgTfmFwd.o $(VIS_OBJ_PATH)/imgTfmUtil.o \
37 $(VIS_OBJ_PATH)/imgUtil.o $(VIS_OBJ_PATH)/ioCheck.o $(VIS_OBJ_PATH)/ioCmd.o\
38 $(VIS_OBJ_PATH)/ioParse.o $(VIS_OBJ_PATH)/ioReadBlifMv.o $(VIS_OBJ_PATH)/ioTable.o\
39 $(VIS_OBJ_PATH)/ioWriteBlif.o $(VIS_OBJ_PATH)/ioWriteBlifUtil.o\
40 $(VIS_OBJ_PATH)/ioWriteBlifIo.o $(VIS_OBJ_PATH)/ioWriteBlifMv.o \
41 $(VIS_OBJ_PATH)/ioWriteSmv.o $(VIS_OBJ_PATH)/ltl.o $(VIS_OBJ_PATH)/ltlSet.o\
42 $(VIS_OBJ_PATH)/ltlTableau.o $(VIS_OBJ_PATH)/ltlAutomaton.o\
43 $(VIS_OBJ_PATH)/ltlMinimize.o $(VIS_OBJ_PATH)/ltlCompose.o \
44 $(VIS_OBJ_PATH)/ltlUtil.o $(VIS_OBJ_PATH)/maigUtil.o\
45 $(VIS_OBJ_PATH)/mark.o $(VIS_OBJ_PATH)/markFPSolve.o\
46 $(VIS_OBJ_PATH)/markGetScc.o $(VIS_OBJ_PATH)/markInProb.o\
47 $(VIS_OBJ_PATH)/mcCmd.o $(VIS_OBJ_PATH)/mcCover.o $(VIS_OBJ_PATH)/mcDbg.o \
48 $(VIS_OBJ_PATH)/mcDnC.o $(VIS_OBJ_PATH)/mcGFP.o $(VIS_OBJ_PATH)/mcMc.o\
49 $(VIS_OBJ_PATH)/mcSCC.o $(VIS_OBJ_PATH)/mcUtil.o $(VIS_OBJ_PATH)/mcVacuum.o\
50 $(VIS_OBJ_PATH)/mvfMvf.o $(VIS_OBJ_PATH)/mvfaigUtil.o $(VIS_OBJ_PATH)/ntkCmd.o\
51 $(VIS_OBJ_PATH)/ntkFlt.o $(VIS_OBJ_PATH)/ntkGraph.o $(VIS_OBJ_PATH)/ntkNode.o\
52 $(VIS_OBJ_PATH)/ntkNtk.o $(VIS_OBJ_PATH)/ntkSweep.o $(VIS_OBJ_PATH)/ntm.o\
53 $(VIS_OBJ_PATH)/ntmaig.o $(VIS_OBJ_PATH)/ntmaigCmd.o $(VIS_OBJ_PATH)/ordCmd.o\
54$(VIS_OBJ_PATH)/ordIo.o $(VIS_OBJ_PATH)/ordMain.o $(VIS_OBJ_PATH)/ordNodes.o\
55 $(VIS_OBJ_PATH)/ordPerm.o $(VIS_OBJ_PATH)/ordRoots.o $(VIS_OBJ_PATH)/partCmd.o\
56 $(VIS_OBJ_PATH)/partCollapse.o $(VIS_OBJ_PATH)/partInOut.o $(VIS_OBJ_PATH)/partPart.o\
57 $(VIS_OBJ_PATH)/partPartial.o $(VIS_OBJ_PATH)/partTotal.o $(VIS_OBJ_PATH)/partFrontier.o $(VIS_OBJ_PATH)/partBoundary.o $(VIS_OBJ_PATH)/partGroup.o $(VIS_OBJ_PATH)/partFine.o $(VIS_OBJ_PATH)/puresatUtil.o $(VIS_OBJ_PATH)/puresatBMC.o $(VIS_OBJ_PATH)/puresatRefine.o $(VIS_OBJ_PATH)/puresat.o $(VIS_OBJ_PATH)/puresatMain.o $(VIS_OBJ_PATH)/puresatIPAbRf.o $(VIS_OBJ_PATH)/puresatAig.o $(VIS_OBJ_PATH)/puresatArosat.o $(VIS_OBJ_PATH)/puresatIPUtil.o $(VIS_OBJ_PATH)/puresatIPRefine.o $(VIS_OBJ_PATH)/puresatTFrame.o $(VIS_OBJ_PATH)/puresatFlatIP.o $(VIS_OBJ_PATH)/rst.o $(VIS_OBJ_PATH)/rstGroup.o $(VIS_OBJ_PATH)/resLayer.o $(VIS_OBJ_PATH)/resCompose.o $(VIS_OBJ_PATH)/resSmartVarUse.o $(VIS_OBJ_PATH)/res.o $(VIS_OBJ_PATH)/resCmd.o $(VIS_OBJ_PATH)/resRes.o $(VIS_OBJ_PATH)/restrCProj.o $(VIS_OBJ_PATH)/restrCmd.o $(VIS_OBJ_PATH)/restrDebug.o $(VIS_OBJ_PATH)/restrFaninout.o $(VIS_OBJ_PATH)/restrHammingD.o $(VIS_OBJ_PATH)/restrRestructure.o $(VIS_OBJ_PATH)/restrUtil.o $(VIS_OBJ_PATH)/rtMain.o $(VIS_OBJ_PATH)/satConflict.o $(VIS_OBJ_PATH)/satImplication.o $(VIS_OBJ_PATH)/satMain.o $(VIS_OBJ_PATH)/satUtil.o $(VIS_OBJ_PATH)/satDecision.o $(VIS_OBJ_PATH)/satInc.o $(VIS_OBJ_PATH)/satDebug.o $(VIS_OBJ_PATH)/satInterface.o $(VIS_OBJ_PATH)/satBDD.o $(VIS_OBJ_PATH)/satCore.o $(VIS_OBJ_PATH)/simIo.o $(VIS_OBJ_PATH)/simMain.o $(VIS_OBJ_PATH)/simSim.o $(VIS_OBJ_PATH)/simUtil.o $(VIS_OBJ_PATH)/spfdAPI.o $(VIS_OBJ_PATH)/spfdClean.o $(VIS_OBJ_PATH)/spfdCmd.o $(VIS_OBJ_PATH)/spfdCommon.o $(VIS_OBJ_PATH)/spfdOpt.o $(VIS_OBJ_PATH)/spfdProg.o $(VIS_OBJ_PATH)/spfdReg.o $(VIS_OBJ_PATH)/spfdSpfd.o $(VIS_OBJ_PATH)/spfdUtil.o $(VIS_OBJ_PATH)/synth.o $(VIS_OBJ_PATH)/synthCount.o $(VIS_OBJ_PATH)/synthDiv.o $(VIS_OBJ_PATH)/synthFactor.o $(VIS_OBJ_PATH)/synthGen.o $(VIS_OBJ_PATH)/synthOpt.o $(VIS_OBJ_PATH)/synthSimple.o $(VIS_OBJ_PATH)/synthSynth.o $(VIS_OBJ_PATH)/synthUtil.o $(VIS_OBJ_PATH)/synthWrite.o $(VIS_OBJ_PATH)/tblEntryUtil.o $(VIS_OBJ_PATH)/tblTest.o $(VIS_OBJ_PATH)/tblUtil.o $(VIS_OBJ_PATH)/tblSweep.o $(VIS_OBJ_PATH)/tblAigUtil.o $(VIS_OBJ_PATH)/tblAigEntryUtil.o $(VIS_OBJ_PATH)/tblIdentity.o $(VIS_OBJ_PATH)/truesimCmd.o $(VIS_OBJ_PATH)/truesimMain.o $(VIS_OBJ_PATH)/truesimSim.o $(VIS_OBJ_PATH)/truesimUtil.o $(VIS_OBJ_PATH)/truesimZero.o $(VIS_OBJ_PATH)/tst.o $(VIS_OBJ_PATH)/varVariable.o $(VIS_OBJ_PATH)/vmInit.o $(VIS_OBJ_PATH)/vmVers.o
58 
59 
60 all: exec
61 
62 # Create libMonVis
63 libMonvis.a:
64        rm -f $(LIB_VIS)/$@
65        umask 2; ar cq $(LIB_VIS)/$@ $(VIS_OBJ)
66        ranlib $(LIB_VIS)/$@
67 
68                                                       
69 # exec
70 
71 exec: main.c
72        gcc $(GCC_OPT) $(D_OPT) $(INCLUDE) -L$(LIB_GLU) -L$(LIB_VIS) main.c $(LIB_OPT)
73     
74
Note: See TracBrowser for help on using the repository browser.