source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/Makefile

Last change on this file was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 2.4 KB
Line 
1# $Id: Makefile,v 1.12 1999/08/31 19:10:05 fabio Exp fabio $
2#
3# nanotrav: simple FSM traversal program
4#---------------------------------------------------------------------------
5.SUFFIXES: .o .c .u
6
7CC      = gcc
8#CC     = cc
9RANLIB  = ranlib
10#RANLIB = :
11PURE    =
12
13EXE     =
14#EXE    = .exe
15TARGET  = nanotrav$(EXE)
16TARGETu = nanotrav-u
17
18WHERE   = ..
19
20INCLUDE = $(WHERE)/include
21
22LIBS    = $(WHERE)/dddmp/libdddmp.a $(WHERE)/cudd/libcudd.a \
23        $(WHERE)/mtr/libmtr.a $(WHERE)/st/libst.a $(WHERE)/util/libutil.a \
24        $(WHERE)/epd/libepd.a
25
26MNEMLIB =
27#MNEMLIB        = $(WHERE)/mnemosyne/libmnem.a
28
29BLIBS   = -kL$(WHERE)/dddmp -kldddmp -kL$(WHERE)/cudd -klcudd -kL$(WHERE)/mtr \
30        -klmtr -kL$(WHERE)/st -klst -kL$(WHERE)/util -klutil \
31        -kL$(WHERE)/epd -klepd
32
33LINTLIBS = $(WHERE)/llib-ldddmp.a $(WHERE)/cudd/llib-lcudd.ln \
34        $(WHERE)/mtr/llib-lmtr.ln $(WHERE)/st/llib-lst.ln \
35        $(WHERE)/util/llib-lutil.ln $(WHERE)/epd/llib-lepd.ln
36
37SRC     = main.c bnet.c ntr.c ntrHeap.c ntrBddTest.c ntrMflow.c ntrZddTest.c \
38          ntrShort.c chkMterm.c ucbqsort.c
39HDR     = bnet.h ntr.h $(WHERE)/include/dddmp.h $(WHERE)/include/cudd.h \
40        $(WHERE)/include/cuddInt.h
41
42OBJ     = $(SRC:.c=.o)
43UBJ     = $(SRC:.c=.u)
44
45MFLAG   =
46#MFLAG  = -DMNEMOSYNE
47ICFLAGS = -g -O6 -Wall
48#ICFLAGS = -g -Wall
49XCFLAGS = -DHAVE_IEEE_754 -DBSD
50#XCFLAGS = -xtaso -ieee_with_no_inexact -tune host
51CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
52DDDEBUG =
53#DDDEBUG = -DDD_STATS -DDD_VERBOSE -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_DEBUG
54
55LDFLAGS =
56#LDFLAGS = -jmpopt
57#LDFLAGS = -non_shared -om -taso
58
59LINTFLAGS = -u -n -DDD_STATS -DDD_CACHE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_UNIQUE_PROFILE
60
61#------------------------------------------------------
62
63$(TARGET): $(SRC) $(OBJ) $(HDR) $(LIBS) $(MNEMLIB)
64        $(PURE) $(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(OBJ) $(LIBS) $(MNEMLIB) -lm
65
66.c.o: $(HDR)
67        $(CC) -c $< -I$(INCLUDE) $(CFLAGS) $(DDDEBUG)
68
69# if the header files change, recompile
70$(OBJ): $(HDR)
71$(UBJ): $(HDR)
72
73optimize_dec: $(TARGETu)
74
75# optimize (DECstations only: uses u-code)
76$(TARGETu): $(SRC) $(UBJ) $(HDR) $(LIBS:.a=.b)
77        cc -O3 $(XCFLAGS) $(LDFLAGS) $(UBJ) -o $@ $(BLIBS) -lm
78
79.c.u: $(SRC) $(HDR)
80        cc -j -I$(INCLUDE) $(XCFLAGS) $<
81
82lint: $(SRC) $(HDR) $(LINTLIBS)
83        lint $(LINTFLAGS) -I$(INCLUDE) $(SRC) $(LINTLIBS)
84
85tags: $(SRC) $(HDR)
86        ctags $(SRC) $(HDR)
87
88all: $(TARGET) $(TARGETu) lint tags
89
90pixie: $(TARGETu)
91        pixie $(TARGETu)
92
93clean:
94        rm -f *.o *.u mon.out gmon.out *.pixie *.Addrs *.Counts mnem.* \
95        .pure core *.warnings
96
97distclean: clean
98        rm -f $(TARGET) $(TARGETu) *.bak *~ .gdb_history *.qv *.qx
Note: See TracBrowser for help on using the repository browser.