Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / makefile @ 7c4d2eb4

History | View | Annotate | Download (1.39 KB)

1 45d7cebd Thorsten Wißmann
2
include config.mk
3 e034e268 Thorsten Wißmann
4
POBJS = ./parser/lex.yy.o ./parser/mlf-parser.tab.o ./parser/mlf-driver.o
5
FOBJS = ./formulas/formula.o ./formulas/GML_formula.o ./formulas/PML_formula.o ./formulas/rational.o ./formulas/satisfyingassignment.o
6
ROBJS = ./rules/premise.o ./rules/GML_premise.o ./rules/PML_premise.o ./rules/valuation.o ./rules/setofconclusions.o ./rules/sizefunctions.o ./rules/radixtree.o
7 f791f9ff Thorsten Wißmann
8
HEADERS = parser/mlf-parser.tab.h \
9
parser/mlf-driver.h     \
10
formulas/formula.h      \
11
formulas/satisfyingassignment.h \
12
parser/lex.yy.h
13 07c53791 Thorsten Wißmann
14 b1b3ac53 Thorsten Wißmann
.PHONY: all clean parser/% formulas/% rules/%
15 07c53791 Thorsten Wißmann
16 d4135ed7 Thorsten Wißmann
all: main onestep-example onestep.o
17 07c53791 Thorsten Wißmann
18 b1b3ac53 Thorsten Wißmann
.PHONY: phony
19
# don't do anything here
20
phony:
21
	@:
22 f791f9ff Thorsten Wißmann
23 07c53791 Thorsten Wißmann
24 b1b3ac53 Thorsten Wißmann
parser/%: phony
25
	@make --no-print-directory -C parser/ $(@:parser/%=%)
26
27
formulas/%: phony
28
	@make --no-print-directory -C formulas/ $(@:formulas/%=%)
29
30
rules/%: phony
31
	@make --no-print-directory -C rules/ $(@:rules/%=%)
32 07c53791 Thorsten Wißmann
33 e034e268 Thorsten Wißmann
34
main: main.o $(POBJS) $(FOBJS) $(ROBJS)
35 0b085fb9 Thorsten Wißmann
	$(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) -lbdd -lm -lglpk $< -o $@
36 e034e268 Thorsten Wißmann
37 aaf9d965 Thorsten Wißmann
onestep-example: onestep-example.o $(POBJS) $(FOBJS) $(ROBJS) onestep.o
38
	$(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) onestep.o -lbdd -lm -lglpk $< -o $@
39 ff424750 Thorsten Wißmann
40
41 f791f9ff Thorsten Wißmann
main.o: main.cpp $(HEADERS)
42 0b085fb9 Thorsten Wißmann
	$(GCC) $(GCCFLAGS) -c $< -o $@
43 e034e268 Thorsten Wißmann
44 e9710fed Thorsten Wißmann
onestep-example.o: onestep-example.cpp $(HEADERS)
45 ff424750 Thorsten Wißmann
	$(GCC) $(GCCFLAGS) -c $<
46
47 d4135ed7 Thorsten Wißmann
onestep.o: onestep.cpp $(HEADERS)
48
	$(GCC) $(GCCFLAGS) -c $<
49
50 f791f9ff Thorsten Wißmann
clean: parser/clean formulas/clean rules/clean
51 07c53791 Thorsten Wißmann
	rm -rf *.o main