1 # $Id: Makefile,v 1.3 2001/03/19 07:34:37 fabio Exp fabio $
3 # obj: CUDD's C++ interface
4 #---------------------------------------------------------------------------
9 # Define EXE as .exe for MS-DOS and derivatives.
18 CFLAGS
= $(ICFLAGS
) $(MFLAG
) $(XCFLAGS
) $(CPPFLAGS
)
21 LINTFLAGS
= -u
-n
-DDD_STATS
-DDD_CACHE_PROFILE
-DDD_VERBOSE
-DDD_DEBUG
-DDD_UNIQUE_PROFILE
23 # this is to create the lint library
28 INCLUDE
= $(WHERE
)/include
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
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
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
44 # files for the package
47 PHDR
= cuddObj.hh
$(INCLUDE
)/cudd.h
50 TARGET
= test$(P
)$(EXE
)
53 # files for the test program
58 #------------------------------------------------------
65 $(CPP
) -c
$< -I
$(INCLUDE
) $(CFLAGS
) $(DDDEBUG
)
67 optimize_dec
: lib
$(P
).b
74 cxx -j
$< -I
$(INCLUDE
) $(CFLAGS
)
76 # if the header files change, recompile
82 $(TARGET
): $(SRC
) $(OBJ
) $(HDR
) $(LIBS
) $(MNEMLIB
)
83 $(PURE
) $(CPP
) $(CFLAGS
) $(LDFLAGS
) -o
$@
$(OBJ
) $(LIBS
) $(MNEMLIB
) -lm
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
91 llib-l
$(P
).ln
: $(PSRC
) $(PHDR
)
92 lint
$(LINTFLAGS
) $(LINTSWITCH
)$(P
) -I
$(INCLUDE
) $(PSRC
)
95 lint
$(LINTFLAGS
) -I
$(INCLUDE
) $(SRC
) $(LINTLIBS
)
100 all: lib
$(P
).a lib
$(P
).b llib-l
$(P
).ln
tags
102 programs
: $(TARGET
) $(TARGETu
) lintpgm
105 rm -f
*.o
*.u mon.out gmon.out
*.pixie
*.Addrs
*.Counts mnem.
* \
106 .pure core
*.warnings
109 rm -f
$(TARGET
) $(TARGETu
) lib
*.a lib
$(P
).b llib-l
$(P
).ln \
110 *.bak
*~
tags .gdb_history
*.qv
*.qx