PDRplanADL/makefile at master · quickbeam123/PDRplanADL · GitHub

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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
#!/bin/sh
#
# Makefile for FF v 1.0
#
# Extended for PDRPlanMini
#


####### FLAGS

TYPE	=
ADDONS	=

CC      = gcc

CFLAGS	= -O6 -Wall -g -ansi $(TYPE) $(ADDONS)
# -g -pg

LIBS    = -lm

CPP     = g++

CPPFLAGS = -O6 -Wall -ansi -g


####### 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_orig.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

CPP_SOURCES = Main.cpp

OBJECTS = $(SOURCES:.c=.o)

CPPOBJECTS = $(CPP_SOURCES:.cpp=.o)

####### Implicit rules

.SUFFIXES:

.SUFFIXES: .c .o

.SUFFIXES: .cpp .o

.c.o:; $(CC) -c $(CFLAGS) $<

.cpp.o:; $(CPP) -c $(CPPFLAGS) $<

####### Build rules

all: pdr

pdr: $(CPPOBJECTS) $(OBJECTS) $(PDDL_PARSER_OBJ)
	$(CPP) -o pdr $(CPPOBJECTS) $(OBJECTS) $(PDDL_PARSER_OBJ) $(CPPFLAGS) $(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 pdr *.o *.bak *~ *% core *_pure_p9_c0_400.o.warnings \
        \#*\# $(RES_PARSER_SRC) $(PDDL_PARSER_SRC)

veryclean: clean
	rm -f pdr 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) $(CPP_SOURCES) $(PDDL_PARSER_SRC)

lint:
	lclint -booltype Bool $(SOURCES) 2> output.lint

# DO NOT DELETE