Line 0
Link Here
|
|
|
1 |
# |
2 |
# UNIX makefile for building eqp |
3 |
# |
4 |
# DFLAGS controls conditional compilation: |
5 |
# -DTP_RUSAGE |
6 |
|
7 |
DFLAGS = -DTP_RUSAGE |
8 |
|
9 |
#C compiler |
10 |
CC = gcc |
11 |
|
12 |
# CFLAGS = -g $(DFLAGS) |
13 |
CFLAGS = -O $(DFLAGS) |
14 |
# CFLAGS = -pg -O $(DFLAGS) |
15 |
|
16 |
FILES = clocks.c avail.c term.c misc.c symbols.o io.c options.c unify.c ac.c dioph.c btu.c btm.c demod.c discrim.c fpa.c list.c clause.c paramod.c eqp.c lrpo.c pindex.c interp.c |
17 |
|
18 |
OBJECTS = clocks.o avail.o term.o misc.o io.o symbols.o options.o unify.o ac.o dioph.o btu.o btm.o demod.o discrim.o fpa.o list.o clause.o paramod.o eqp.o lrpo.o pindex.o interp.o |
19 |
|
20 |
ttest: ttest.o avail.o stats.o options.o symbols.o misc.o clocks.o term.o list.o io.o unify.o discrim.o fpa.o clause.o lrpo.o btm.o dioph.o ac.o btu.o demod.o paramod.o pindex.o interp.o eqp.o |
21 |
$(CC) $(CFLAGS) -o ttest ttest.o avail.o stats.o options.o symbols.o misc.o clocks.o term.o list.o io.o unify.o discrim.o fpa.o clause.o lrpo.o btm.o dioph.o ac.o btu.o demod.o paramod.o pindex.o interp.o eqp.o |
22 |
|
23 |
eqp: main.o avail.o stats.o options.o symbols.o misc.o clocks.o term.o list.o io.o unify.o discrim.o fpa.o clause.o lrpo.o btm.o dioph.o ac.o btu.o demod.o paramod.o pindex.o interp.o eqp.o |
24 |
$(CC) $(CFLAGS) -o eqp09d main.o avail.o stats.o options.o symbols.o misc.o clocks.o term.o list.o io.o unify.o discrim.o fpa.o clause.o lrpo.o btm.o dioph.o ac.o btu.o demod.o paramod.o pindex.o interp.o eqp.o |
25 |
|
26 |
objects: $(OBJECTS) |
27 |
echo "ok, objects made." |
28 |
|
29 |
clean: |
30 |
/bin/rm *.o |
31 |
|
32 |
main.o $(OBJECTS): Header.h |
33 |
main.o $(OBJECTS): Clocks.h |
34 |
main.o $(OBJECTS): Term.h |
35 |
main.o $(OBJECTS): List.h |
36 |
main.o $(OBJECTS): Symbols.h |
37 |
main.o $(OBJECTS): Unify.h |
38 |
main.o $(OBJECTS): Discrim.h |
39 |
main.o $(OBJECTS): Fpa.h |
40 |
main.o $(OBJECTS): Clause.h |
41 |
|
42 |
main.o $(OBJECTS): Ac.h |
43 |
main.o $(OBJECTS): Demod.h |
44 |
main.o $(OBJECTS): Order.h |
45 |
main.o $(OBJECTS): Paramod.h |
46 |
|
47 |
main.o eqp.o: Eqp.h |