emergency commit
[cl-cudd.git] / distr / epd / Makefile
blob3b26bc9a9ab90a0ac864bb46bea7909dc8e0a1f4
1 # $Id$
3 # epd -- extended precision
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 = epd
20 PSRC = epd.c
21 PHDR = epd.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: $(PSRC) $(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