makefile

来自「多核环境下运行了可满足性分析的工具软件」· 代码 · 共 17 行

CFLAGS = -O3 -Wall -finline-functions
LFLAGS = -O3 -Wall -finline-functions -lz -lm -lpthread
CC     = g++

all:	
	$(CC) $(CFLAGS) -c Simp/Solver.C -o Simp/Solver.o
	$(CC) $(CFLAGS) -c Simp/SimpSolver.C -o Simp/SimpSolver.o
	$(CC) $(LFLAGS) Source/main.cpp Simp/Solver.o Simp/SimpSolver.o -o MiraXTSimp

clean: 	
	rm -f MiraXTSimp
	rm -f *.o *~ 
	rm -f Source/*~
	rm -f Simp/*.o 
	rm -f Simp/*~