fix some mistakes in TNM
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 05:57:03 +0000 (00:57 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 05:57:03 +0000 (00:57 -0500)
examples/charm++/satisfiability/Makefile

index e47766bb370976f587716b5767fe145828d3aa16..5e66b56b2536427f3d3a42fbc8e8ef4d4c36cdd3 100644 (file)
@@ -42,5 +42,11 @@ par_Solver_tnm.o : par_Solver.C par_SolverTypes.h par_Solver.h  main.decl.h main
 $(TNM)/TNM.o: $(TNM)/TNM.C
        $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/TNM.o -c $(TNM)/TNM.C
 
+#$(TNM)/adaptnoisebis1at5.o: $(TNM)/adaptnoisebis1at5.C
+#      $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/adaptnoisebis1at5.o -c $(TNM)/adaptnoisebis1at5.C
+
+#$(TNM)/inputbis.o : $(TNM)/inputbis.C
+#      $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/inputbis.o -c $(TNM)/inputbis.C
+
 clean:
        @rm -f parsat_minisat *.def.h *.decl.h *.o $(MINISAT)/*.o $(TNM)/*.o charmrun