source: vis_dev/sharpSAT/Makefile @ 30

Last change on this file since 30 was 9, checked in by cecile, 13 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.