emergency commit
[cl-cudd.git] / distr / st / Makefile
blob5fdc949c6de683a50123511a330bfa2ae4938e5f
1 # $Id: Makefile,v 1.3 2004/01/01 06:53:06 fabio Exp fabio $
3 # st -- hash table package
4 #---------------------------------------------------------------------------
5 .SUFFIXES: .c .o .u
7 CC = gcc
8 RANLIB = ranlib
10 MFLAG =
11 ICFLAGS = -g -O6 -Wall
12 CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
14 LINTFLAGS = -u -n
16 # this is to create the lint library
17 LINTSWITCH = -o
19 P = st
20 PSRC = st.c
21 PHDR = st.h
22 POBJ = $(PSRC:.c=.o)
23 PUBJ = $(PSRC:.c=.u)
25 WHERE = ..
26 INCLUDE = $(WHERE)/include
28 #---------------------------
30 lib$(P).a: $(POBJ)
31 ar rv $@ $?
32 $(RANLIB) $@
34 .c.o: $(PHDR)
35 $(CC) -c $< -I$(INCLUDE) $(CFLAGS)
37 optimize_dec: lib$(P).b
39 lib$(P).b: $(PUBJ)
40 ar rv $@ $?
41 $(RANLIB) $@
43 .c.u: $(PSRC) $(PHDR)
44 cc -j $< -I$(INCLUDE) $(XCFLAGS)
46 # if the header files change, recompile
47 $(POBJ): $(PHDR)
48 $(PUBJ): $(PHDR)
50 lint: llib-l$(P).ln
52 llib-l$(P).ln: $(PSRC) $(PHDR)
53 lint $(LINTFLAGS) $(LINTSWITCH)$(P) -I$(INCLUDE) $(PSRC)
55 tags: $(PSRC) $(PHDR)
56 ctags $(PSRC) $(PHDR)
58 all: lib$(P).a lib$(P).b llib-l$(P).ln tags
60 clean:
61 rm -f *.o *.u .pure *.warnings
63 distclean: clean
64 rm -f lib*.a lib$(P).b llib-l$(P).ln tags *~ *.bak *.qv *.qx