-
Notifications
You must be signed in to change notification settings - Fork 0
/
makefile
executable file
·92 lines (61 loc) · 1.46 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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
#!/bin/sh
#
# Makefile for FF v 1.0
#
####### FLAGS
TYPE =
ADDONS =
CC = gcc
CFLAGS = -O6 -Wall -g -ansi $(TYPE) $(ADDONS)
# -g -pg
LIBS = -lm
####### Files
PDDL_PARSER_SRC = scan-fct_pddl.tab.c \
scan-ops_pddl.tab.c \
scan-probname.tab.c \
lex.fct_pddl.c \
lex.ops_pddl.c
PDDL_PARSER_OBJ = scan-fct_pddl.tab.o \
scan-ops_pddl.tab.o
SOURCES = main.c \
memory.c \
output.c \
parse.c \
inst_pre.c \
inst_easy.c \
inst_hard.c \
inst_final.c \
orderings.c \
relax.c \
search.c
OBJECTS = $(SOURCES:.c=.o)
####### Implicit rules
.SUFFIXES:
.SUFFIXES: .c .o
.c.o:; $(CC) -c $(CFLAGS) $<
####### Build rules
ff: $(OBJECTS) $(PDDL_PARSER_OBJ)
$(CC) -o ff $(OBJECTS) $(PDDL_PARSER_OBJ) $(CFLAGS) $(LIBS)
# pddl syntax
scan-fct_pddl.tab.c: scan-fct_pddl.y lex.fct_pddl.c
bison -pfct_pddl -bscan-fct_pddl scan-fct_pddl.y
scan-ops_pddl.tab.c: scan-ops_pddl.y lex.ops_pddl.c
bison -pops_pddl -bscan-ops_pddl scan-ops_pddl.y
lex.fct_pddl.c: lex-fct_pddl.l
flex -Pfct_pddl lex-fct_pddl.l
lex.ops_pddl.c: lex-ops_pddl.l
flex -Pops_pddl lex-ops_pddl.l
# misc
clean:
rm -f *.o *.bak *~ *% core *_pure_p9_c0_400.o.warnings \
\#*\# $(RES_PARSER_SRC) $(PDDL_PARSER_SRC)
veryclean: clean
rm -f ff H* J* K* L* O* graph.* *.symbex gmon.out \
$(PDDL_PARSER_SRC) \
lex.fct_pddl.c lex.ops_pddl.c lex.probname.c \
*.output
depend:
makedepend -- $(SOURCES) $(PDDL_PARSER_SRC)
lint:
lclint -booltype Bool $(SOURCES) 2> output.lint
# DO NOT DELETE