distr/obj/Makefile

   1 # $Id: Makefile,v 1.3 2001/03/19 07:34:37 fabio Exp fabio $
   2 #
   3 # obj: CUDD's C++ interface
   4 #---------------------------------------------------------------------------
   5 .SUFFIXES: .o .cc .u
   6
   7 CPP     = g++
   8 RANLIB  = ranlib
   9 # Define EXE as .exe for MS-DOS and derivatives.
  10 PURE    =
  11 EXE     =
  12 #EXE    = .exe
  13
  14 MFLAG   =
  15 ICFLAGS = -g
  16 XCFLAGS =
  17 CPPFLAGS =
  18 CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS) $(CPPFLAGS)
  19 DDDEBUG =
  20
  21 LINTFLAGS = -u -n -DDD_STATS -DDD_CACHE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_UNIQUE_PROFILE
  22
  23 # this is to create the lint library
  24 LINTSWITCH = -o
  25
  26 WHERE   = ..
  27
  28 INCLUDE = $(WHERE)/include
  29
  30 LIBS    = ./libobj.a $(WHERE)/cudd/libcudd.a $(WHERE)/mtr/libmtr.a \
  31         $(WHERE)/st/libst.a $(WHERE)/util/libutil.a $(WHERE)/epd/libepd.a
  32
  33 MNEMLIB =
  34
  35 BLIBS   = -kL. -klobj -kL$(WHERE)/cudd -klcudd -kL$(WHERE)/mtr -klmtr \
  36         -kL$(WHERE)/st -klst -kL$(WHERE)/util -klutil -kL$(WHERE)/epd -klepd
  37
  38 LINTLIBS = ./llib-lobj.ln $(WHERE)/cudd/llib-lcudd.ln \
  39         $(WHERE)/mtr/llib-lmtr.ln $(WHERE)/st/llib-lst.ln \
  40         $(WHERE)/util/llib-lutil.ln $(WHERE)/epd/llib-lepd.ln
  41
  42 LDFLAGS =
  43
  44 # files for the package
  45 P       = obj
  46 PSRC    = cuddObj.cc
  47 PHDR    = cuddObj.hh $(INCLUDE)/cudd.h
  48 POBJ    = $(PSRC:.cc=.o)
  49 PUBJ    = $(PSRC:.cc=.u)
  50 TARGET  = test$(P)$(EXE)
  51 TARGETu = test$(P)-u
  52
  53 # files for the test program
  54 SRC     = test$(P).cc
  55 OBJ     = $(SRC:.cc=.o)
  56 UBJ     = $(SRC:.cc=.u)
  57
  58 #------------------------------------------------------
  59
  60 lib$(P).a: $(POBJ)
  61         ar rv $@ $?
  62         $(RANLIB) $@
  63
  64 .cc.o: $(PHDR)
  65         $(CPP) -c $< -I$(INCLUDE) $(CFLAGS) $(DDDEBUG)
  66
  67 optimize_dec: lib$(P).b
  68
  69 lib$(P).b: $(PUBJ)
  70         ar rv $@ $?
  71         $(RANLIB) $@
  72
  73 .cc.u: $(PHDR)
  74         cxx -j $< -I$(INCLUDE) $(CFLAGS)
  75
  76 # if the header files change, recompile
  77 $(POBJ): $(PHDR)
  78 $(PUBJ): $(PHDR)
  79 $(OBJ): $(PHDR)
  80 $(UBJ): $(PHDR)
  81
  82 $(TARGET): $(SRC) $(OBJ) $(HDR) $(LIBS) $(MNEMLIB)
  83         $(PURE) $(CPP) $(CFLAGS) $(LDFLAGS) -o $@ $(OBJ) $(LIBS) $(MNEMLIB) -lm
  84
  85 # optimize (DECstations and Alphas only: uses u-code)
  86 $(TARGETu): $(SRC) $(UBJ) $(HDR) $(LIBS:.a=.b)
  87         cxx -O3 -Olimit 1000 $(XCFLAGS) $(LDFLAGS) -o $@ $(UBJ) $(BLIBS) -lm
  88
  89 lint: llib-l$(P).ln
  90
  91 llib-l$(P).ln: $(PSRC) $(PHDR)
  92         lint $(LINTFLAGS) $(LINTSWITCH)$(P) -I$(INCLUDE) $(PSRC)
  93
  94 lintpgm: lint
  95         lint $(LINTFLAGS) -I$(INCLUDE) $(SRC) $(LINTLIBS)
  96
  97 tags: $(PSRC) $(PHDR)
  98         ctags $(PSRC) $(PHDR)
  99
 100 all: lib$(P).a lib$(P).b llib-l$(P).ln tags
 101
 102 programs: $(TARGET) $(TARGETu) lintpgm
 103
 104 clean:
 105         rm -f *.o *.u mon.out gmon.out *.pixie *.Addrs *.Counts mnem.* \
 106         .pure core *.warnings
 107
 108 distclean: clean
 109         rm -f $(TARGET) $(TARGETu) lib*.a lib$(P).b llib-l$(P).ln \
 110         *.bak *~ tags .gdb_history *.qv *.qx