forked from mclumd/alma-2.0
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
54 lines (36 loc) · 2.07 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
CC = gcc
CFLAGS = -std=c11 -pedantic-errors -Wall -Werror -Wshadow -Wpedantic -g
TOMMY = tommyds/tommyds/
all: alma.x
alma.x: alma.o tommyarray.o tommyhashlin.o tommyhash.o tommylist.o mpc.o alma_parser.o alma_formula.o alma_kb.o alma_unify.o alma_command.o alma_print.o alma_proc.o
$(CC) alma.o tommyarray.o tommyhashlin.o tommyhash.o tommylist.o mpc.o alma_parser.o alma_formula.o alma_kb.o alma_unify.o alma_command.o alma_print.o alma_proc.o -o alma.x
alma.o: alma.c alma_command.h alma_kb.h
$(CC) $(CFLAGS) -c alma.c
tommyhashlin.o: $(TOMMY)tommyhash.c $(TOMMY)tommyhashlin.c $(TOMMY)tommytypes.h $(TOMMY)tommyhash.h $(TOMMY)tommylist.h $(TOMMY)tommyhashlin.h
$(CC) $(CFLAGS) -c $(TOMMY)tommyhashlin.c
tommyarray.o: $(TOMMY)tommyarray.c $(TOMMY)tommytypes.h $(TOMMY)tommyarray.h
$(CC) $(CFLAGS) -c $(TOMMY)tommyarray.c
tommylist.o: $(TOMMY)tommylist.c $(TOMMY)tommytypes.h $(TOMMY)tommychain.h $(TOMMY)tommylist.h
$(CC) $(CFLAGS) -c $(TOMMY)tommylist.c
tommyhash.o: $(TOMMY)tommyhash.c $(TOMMY)tommytypes.h $(TOMMY)tommyhash.h
$(CC) $(CFLAGS) -c $(TOMMY)tommyhash.c
mpc.o: mpc/mpc.c mpc/mpc.h
$(CC) $(CFLAGS) -c mpc/mpc.c
alma_command.o: alma_command.c alma_command.h alma_kb.h alma_print.h $(TOMMY)tommytypes.h $(TOMMY)tommyarray.h $(TOMMY)tommyhashlin.h $(TOMMY)tommyhash.h
$(CC) $(CFLAGS) -c alma_command.c
alma_parser.o: alma_parser.c mpc/mpc.h alma_parser.h
$(CC) $(CFLAGS) -c alma_parser.c
alma_formula.o: alma_formula.c mpc/mpc.h alma_parser.h alma_print.h alma_formula.h
$(CC) $(CFLAGS) -c alma_formula.c
alma_kb.o: alma_kb.c alma_unify.h alma_formula.h alma_command.h alma_print.h alma_kb.h alma_proc.h $(TOMMY)tommytypes.h $(TOMMY)tommyarray.h $(TOMMY)tommyhashlin.h $(TOMMY)tommyhash.h
$(CC) $(CFLAGS) -c alma_kb.c
alma_unify.o: alma_unify.c alma_unify.h alma_formula.h
$(CC) $(CFLAGS) -c alma_unify.c
alma_print.o: alma_print.c alma_kb.h alma_formula.h alma_unify.h alma_print.h
$(CC) $(CFLAGS) -c alma_print.c
alma_proc.o: alma_proc.c alma_kb.h alma_formula.h alma_unify.h alma_proc.h
$(CC) $(CFLAGS) -c alma_proc.c
clean:
rm -f *.x *.o
run:
./alma.x demo/fc-test.pl