Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (697 Bytes)

1 45d7cebd Thorsten Wißmann
include ../config.mk
2 e034e268 Thorsten Wißmann
3
all: formula.o PML_formula.o GML_formula.o rational.o satisfyingassignment.o
4
5
satisfyingassignment.o: satisfyingassignment.h satisfyingassignment.cpp
6
	$(GCC) $(GCCFLAGS) -c satisfyingassignment.cpp
7
8
formula.o: formula.h formula.cpp
9
	$(GCC) $(GCCFLAGS) -c formula.cpp
10
	
11
PML_formula.o: formula.h rational.h PML_formula.cpp PML_formula.h ../rules/PML_premise.h ../rules/setofconclusions.h
12
	$(GCC) $(GCCFLAGS) -c PML_formula.cpp
13
	
14
GML_formula.o: formula.h GML_formula.cpp GML_formula.h ../rules/GML_premise.h ../rules/setofconclusions.h
15
	$(GCC) $(GCCFLAGS) -c GML_formula.cpp
16
	
17
rational.o: rational.h rational.cpp
18
	$(GCC) $(GCCFLAGS) -c rational.cpp
19
	
20
clean:
21
	rm -rf *~ *.o test