Makefile 644 B

1234567891011121314151617181920212223242526272829
  1. CXXFLAGS = -std=c++0x -O2 -g -Wall -fmessage-length=0 -Wreorder -Wwrite-strings -Wsign-compare
  2. OBJS = Main.o GSATThread.o ControlBandit.o GSAT/GSAT.o GSAT/ArrayFiller.o GSAT/CFormula.o
  3. LIBS = -lpthread
  4. TARGET = GSATSolver
  5. $(TARGET): $(OBJS)
  6. $(CXX) -o $(TARGET) $(OBJS) $(LIBS)
  7. all: $(TARGET)
  8. clean:
  9. rm -f $(OBJS) $(TARGET)
  10. rm -rf *.*~
  11. rm -rf *~
  12. run:
  13. ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4
  14. epsilon:
  15. ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -e 0.2
  16. dynamic:
  17. ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d
  18. start:
  19. ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2