distr/sis/Makefile.sis

   1 # $Id$
   2 #
   3 #    Cudd - DD package
   4 #---------------------------
   5 .SUFFIXES: .o .c .u
   6
   7 RANLIB  = ranlib
   8
   9 CAD     = /projects/octtools/octtools/$(MACHINE)
  10 SIS     = ..
  11 LINTCREATEFLAG = -C
  12
  13 # files for the package
  14 P       = bdd
  15 PSRC    = cuddAPI.c cuddAddAbs.c cuddAddApply.c cuddAddFind.c cuddAddIte.c \
  16           cuddAddInv.c cuddAddNeg.c cuddAddWalsh.c cuddAndAbs.c \
  17           cuddAnneal.c cuddApa.c cuddApprox.c cuddBddAbs.c cuddBddCorr.c \
  18           cuddBddIte.c cuddBddPort.c cuddBridge.c cuddCache.c cuddCheck.c \
  19           cuddClip.c cuddCof.c cuddCompose.c cuddDecomp.c cuddEssent.c \
  20           cuddExact.c cuddExport.c cuddGenCof.c \
  21           cuddGenetic.c cuddGroup.c cuddHarwell.c cuddInit.c cuddInteract.c \
  22           cuddLCache.c cuddLevelQ.c cuddLinear.c cuddLiteral.c \
  23           cuddMatMult.c cuddPriority.c cuddPwPt.c \
  24           cuddRead.c cuddRef.c cuddReorder.c cuddSat.c cuddSign.c \
  25           cuddSolve.c cuddSplit.c cuddSubsetHB.c cuddSubsetSP.c cuddSymmetry.c \
  26           cuddTable.c cuddUtil.c cuddWindow.c cuddZddCount.c cuddZddFuncs.c \
  27           cuddZddGroup.c cuddZddIsop.c cuddZddLin.c cuddZddMisc.c \
  28           cuddZddPort.c cuddZddReord.c cuddZddSetop.c cuddZddSymm.c \
  29           cuddZddUtil.c
  30 POBJ    = $(PSRC:.c=.o)
  31 PHDR    = cudd.h cuddInt.h cuddBdd.h
  32
  33 # files for the test program
  34 TARGET  = testcudd
  35 SRC     = testcudd.c
  36 OBJ     = $(SRC:.c=.o)
  37 HDR     =
  38
  39 LIBS    = ../util/libutil.a ../st/libst.a
  40 LINTLIBS= ../util/llib-lutil.ln ../st/llib-lst.ln
  41 INCLUDE = -I$(CAD)/include -I$(SIS)/include
  42
  43 CFLAGS  = -g $(INCLUDE)
  44 LDFLAGS = -g
  45 LINTFLAGS = $(INCLUDE) ${LINTEXTRAS}
  46
  47 #------------------------------------------------------
  48
  49 $(TARGET): $(PHDR) $(OBJ) $(POBJ) $(LIBS)
  50         $(CC) $(LDFLAGS) -o $(TARGET) $(OBJ) $(POBJ) $(LIBS)
  51
  52 lint: $(PSRC) $(PHDR) $(SRC) $(HDR)
  53         lint $(LINTFLAGS) $(SRC) $(PSRC) $(LINTLIBS)
  54
  55 install: lib$(P).a llib-l$(P).ln
  56
  57 lib$(P).a: $(POBJ)
  58         ar cr $@ $?
  59         $(RANLIB) $@
  60
  61 unpack: lib$(P).a
  62         @for i in $(POBJ); do                           \
  63             ln -s $(SIS)/$(P)/$$i $(SIS)/unpack;        \
  64         done
  65
  66 llib-l$(P).ln: $(PSRC) $(PHDR)
  67         lint $(LINTFLAGS) ${LINTCREATEFLAG}$(P) -n $(PSRC)
  68
  69 clean:
  70         rm -f $(TARGET) *.a *.ln *.o \
  71             [Tt]ags [Mm]ake.out lint malloc.out gmon.out __.SYMDEF *~
  72
  73 tags: _force
  74         @for i in $(PSRC) $(PHDR); do                   \
  75             cwd=`pwd`; ctags -a $$cwd/$$i;
  76         done;
  77
  78 strip_depend:
  79         sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$$d' Makefile >mktemp
  80         mv mktemp Makefile
  81
  82 depend:
  83         sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$$d' Makefile >mktemp
  84         echo '#--DO NOT CHANGE ANYTHING AFTER THIS LINE' >>mktemp
  85         $(CAD)/bin/cc-M $(CFLAGS) $(PSRC) | \
  86             sed 's|$(CAD)|$$(CAD)|g' | \
  87             grep -v '/usr/include' >>mktemp
  88         mv mktemp Makefile
  89
  90 #-------------------------- IBM 3090 support -----------------
  91 IBMHOST = opua
  92 IBMDIST = /users2/sis
  93 ibmdist: $(PSRC) $(PHDR)
  94         rdist -Richw $(PSRC) $(PHDR) $(IBMHOST):$(IBMDIST)
  95 #-------------------------------------------------------------
  96 _force:
  97