source: icGREP/icgrep-devel/cudd-2.5.1/util/Makefile @ 5820

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

Upload of the CUDD library.

File size: 1.2 KB
Line 
1# $Id$
2#
3# util -- miscellaneous utility routines
4#---------------------------------------------------------------------------
5.SUFFIXES: .c .o .u
6
7CC      = gcc
8RANLIB  = ranlib
9
10FLAGS   = -DUNIX
11MFLAG   =
12ICFLAGS = -g
13CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
14
15LINTFLAGS = -u -n
16
17# this is to create the lint library
18LINTSWITCH = -o
19
20P       = util
21PSRC    = cstringstream.c cpu_time.c cpu_stats.c safe_mem.c strsav.c texpand.c \
22          ptime.c prtime.c pipefork.c pathsearch.c stub.c datalimit.c
23POBJ    = $(PSRC:.c=.o)
24PUBJ    = $(PSRC:.c=.u)
25PHDR    = util.h cstringstream.h
26
27WHERE   = ..
28INCLUDE = $(WHERE)/include
29
30lib$(P).a: $(POBJ)
31        ar rv $@ $?
32        $(RANLIB) $@
33
34.c.o: $(PHDR)
35        $(CC) -c $< -I$(INCLUDE) $(FLAGS) $(CFLAGS)
36
37optimize_dec: lib$(P).b
38
39lib$(P).b: $(PUBJ)
40        ar rv $@ $?
41        $(RANLIB) $@
42
43.c.u: $(PHDR)
44        cc -j $< -I$(INCLUDE) $(FLAGS) $(XCFLAGS)
45
46# if the header files change, recompile
47$(POBJ): $(PHDR)
48$(PUBJ): $(PHDR)
49
50lint: llib-l$(P).ln
51
52llib-l$(P).ln: $(PSRC) $(PHDR)
53        lint $(LINTFLAGS) $(LINTSWITCH)$(P) -I$(INCLUDE) $(PSRC)
54
55tags: $(PSRC) $(PHDR)
56        ctags $(PSRC) $(PHDR)
57
58all: lib$(P).a lib$(P).b llib-l$(P).ln tags
59
60clean:
61        rm -f *.o *.u core *.warnings
62
63distclean: clean
64        rm -f lib$(P).a lib$(P).b llib-l$(P).ln tags *.bak *~ .pure
Note: See TracBrowser for help on using the repository browser.