X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=glucose-syrup%2Fincremental%2FMakefile~;fp=glucose-syrup%2Fincremental%2FMakefile~;h=0000000000000000000000000000000000000000;hb=bd97f90ffdec7268e474339ebab1dfb6ed839cfc;hp=f5d4481aa74f3d58c7037c0bfd39d4151ae605fd;hpb=f43befe4da7618bfda6720be15e3804914c38ac7;p=satlib.git

diff --git a/glucose-syrup/incremental/Makefile~ b/glucose-syrup/incremental/Makefile~
deleted file mode 100644
index f5d4481..0000000
--- a/glucose-syrup/incremental/Makefile~
+++ /dev/null
@@ -1,5 +0,0 @@
-EXEC = glucose
-DEPDIR    = mtl utils core
-MROOT = $(PWD)/..
-
-include $(MROOT)/mtl/template.mk