source: icGREP/icgrep-devel/cudd-2.5.1/st/Makefile @ 4746

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

Upload of the CUDD library.

File size: 1.1 KB
Line 
1# $Id: Makefile,v 1.3 2004/01/01 06:53:06 fabio Exp fabio $
2#
3# st -- hash table package
4#---------------------------------------------------------------------------
5.SUFFIXES: .c .o .u
6
7CC      = gcc
8RANLIB  = ranlib
9
10MFLAG   =
11ICFLAGS = -g -O6 -Wall
12CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
13
14LINTFLAGS = -u -n
15
16# this is to create the lint library
17LINTSWITCH = -o
18
19P       = st
20PSRC    = st.c
21PHDR    = st.h
22POBJ    = $(PSRC:.c=.o)
23PUBJ    = $(PSRC:.c=.u)
24
25WHERE   = ..
26INCLUDE = $(WHERE)/include
27
28#---------------------------
29
30lib$(P).a: $(POBJ)
31        ar rv $@ $?
32        $(RANLIB) $@
33
34.c.o: $(PHDR)
35        $(CC) -c $< -I$(INCLUDE) $(CFLAGS)
36
37optimize_dec: lib$(P).b
38
39lib$(P).b: $(PUBJ)
40        ar rv $@ $?
41        $(RANLIB) $@
42
43.c.u: $(PSRC) $(PHDR)
44        cc -j $< -I$(INCLUDE) $(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 .pure *.warnings
62
63distclean: clean
64        rm -f lib*.a lib$(P).b llib-l$(P).ln tags *~ *.bak *.qv *.qx
Note: See TracBrowser for help on using the repository browser.