source: vis_dev/sharpSAT/Makefile@ 34

Last change on this file since 34 was 9, checked in by cecile, 15 years ago

add sharpSat
File size: 5.2 KB
Line 
1
2CXX = g++
3CXXFLAGS = -pipe -w -O3 -DGMP_BIGNUM -DCOMPILE_FOR_GUI
4INCPATH = -I. -Isrc/shared -I/usr/include
5LINK = g++
6LFLAGS =
7LIBS = $(SUBLIBS) -L/usr/lib/ -lgmpxx -lgmp
8TAR = tar -cf
9GZIP = gzip -9f
10COPY = cp -f
11COPY_FILE= $(COPY)
12COPY_DIR = $(COPY) -r
13INSTALL_FILE= $(COPY_FILE)
14INSTALL_DIR = $(COPY_DIR)
15DEL_FILE = rm -f
16SYMLINK = ln -sf
17DEL_DIR = rmdir
18MOVE = mv -f
19CHK_DIR_EXISTS= test -d
20MKDIR = mkdir -p
21
22####### Output directory
23
24OBJECTS_DIR = ./
25
26####### Files
27
28HEADERS = src/src_sharpSAT/Basics.h \
29 src/shared/SomeTime.h \
30 src/shared/RealNumberTypes.h \
31 src/shared/Interface/AnalyzerData.h \
32 src/src_sharpSAT/MainSolver/DecisionStack.h \
33 src/src_sharpSAT/MainSolver/MainSolver.h \
34 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h \
35 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
36 src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h \
37 src/src_sharpSAT/MainSolver/FormulaCache.h
38SOURCES = src/src_sharpSAT/Basics.cpp \
39 src/shared/SomeTime.cpp \
40 src/shared/RealNumberTypes.cpp \
41 src/shared/Interface/AnalyzerData.cpp \
42 src/src_sharpSAT/MainSolver/DecisionStack.cpp \
43 src/src_sharpSAT/MainSolver/MainSolver.cpp \
44 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp \
45 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp \
46 src/src_sharpSAT/main.cpp \
47 src/src_sharpSAT/MainSolver/FormulaCache.cpp
48OBJECTS = Basics.o \
49 SomeTime.o \
50 RealNumberTypes.o \
51 AnalyzerData.o \
52 DecisionStack.o \
53 MainSolver.o \
54 InstanceGraph.o \
55 AtomsAndNodes.o \
56 main.o \
57 FormulaCache.o
58TARGET = sharpSAT
59
60first: all
61####### Implicit rules
62
63.SUFFIXES: .c .o .cpp .cc .cxx .C
64
65.cpp.o:
66 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o $@ $<
67
68.cc.o:
69 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o $@ $<
70
71.cxx.o:
72 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o $@ $<
73
74.C.o:
75 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o $@ $<
76
77.c.o:
78 $(CC) -c $(CFLAGS) $(INCPATH) -o $@ $<
79
80####### Build rules
81
82all: Makefile $(TARGET)
83
84$(TARGET): $(OBJECTS)
85 $(LINK) $(LFLAGS) -o $(TARGET) $(OBJECTS) $(LIBS)
86clean:
87 -$(DEL_FILE) $(OBJECTS)
88 -$(DEL_FILE) *~ core *.core
89
90
91####### Sub-libraries
92
93distclean: clean
94 -$(DEL_FILE) $(TARGET) $(TARGET)
95
96
97FORCE:
98
99####### Compile
100
101Basics.o: src/src_sharpSAT/Basics.cpp src/src_sharpSAT/Basics.h
102 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o Basics.o src/src_sharpSAT/Basics.cpp
103
104SomeTime.o: src/shared/SomeTime.cpp src/shared/SomeTime.h
105 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o SomeTime.o src/shared/SomeTime.cpp
106
107RealNumberTypes.o: src/shared/RealNumberTypes.cpp src/shared/RealNumberTypes.h
108 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o RealNumberTypes.o src/shared/RealNumberTypes.cpp
109
110AnalyzerData.o: src/shared/Interface/AnalyzerData.cpp src/shared/Interface/AnalyzerData.h
111 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o AnalyzerData.o src/shared/Interface/AnalyzerData.cpp
112
113DecisionStack.o: src/src_sharpSAT/MainSolver/DecisionStack.cpp src/src_sharpSAT/MainSolver/DecisionStack.h \
114 src/src_sharpSAT/Basics.h \
115 src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h \
116 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
117 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h
118 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o DecisionStack.o src/src_sharpSAT/MainSolver/DecisionStack.cpp
119
120MainSolver.o: src/src_sharpSAT/MainSolver/MainSolver.cpp src/src_sharpSAT/MainSolver/MainSolver.h \
121 src/src_sharpSAT/Basics.h \
122 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h \
123 src/src_sharpSAT/MainSolver/FormulaCache.h \
124 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
125 src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h \
126 src/src_sharpSAT/MainSolver/DecisionStack.h
127 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o MainSolver.o src/src_sharpSAT/MainSolver/MainSolver.cpp
128
129InstanceGraph.o: src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h \
130 src/src_sharpSAT/Basics.h \
131 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h
132 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o InstanceGraph.o src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp
133
134AtomsAndNodes.o: src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
135 src/src_sharpSAT/Basics.h
136 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o AtomsAndNodes.o src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp
137
138main.o: src/src_sharpSAT/main.cpp src/src_sharpSAT/MainSolver/MainSolver.h \
139 src/src_sharpSAT/Basics.h \
140 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h \
141 src/src_sharpSAT/MainSolver/FormulaCache.h \
142 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
143 src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h \
144 src/src_sharpSAT/MainSolver/DecisionStack.h
145 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o main.o src/src_sharpSAT/main.cpp
146
147FormulaCache.o: src/src_sharpSAT/MainSolver/FormulaCache.cpp src/src_sharpSAT/MainSolver/FormulaCache.h \
148 src/src_sharpSAT/Basics.h \
149 src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h \
150 src/src_sharpSAT/MainSolver/DecisionStack.h \
151 src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h \
152 src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h
153 $(CXX) -c $(CXXFLAGS) $(INCPATH) -o FormulaCache.o src/src_sharpSAT/MainSolver/FormulaCache.cpp
Note: See TracBrowser for help on using the repository browser.