incremental support

[satlib.git] / lingeling / code / makefile.in

diff --git a/lingeling/code/makefile.in b/lingeling/code/makefile.in
index 1ff2f0d0e65a0892294c47a873443f62f767efc4..611932273d4c507ca5b4964869d771b053d1a29a 100644 (file)
--- a/lingeling/code/makefile.in
+++ b/lingeling/code/makefile.in
@@ -16,7 +16,7 @@ all: targets
 -include makefile.other
 
 targets: liblgl.a
-targets: lingeling plingeling ilingeling treengeling
+targets: lingeling incling plingeling ilingeling treengeling
 targets: lglmbt lgluntrace lglddtrace
 targets: @AIGERTARGETS@
 
@@ -27,6 +27,8 @@ liblgl.a: lglib.o lglbnr.o lgldimacs.o makefile
        ar rc $@ lglib.o lglbnr.o lgldimacs.o
        ranlib $@
 
+incling: lglincremental.o liblgl.a makefile $(LDEPS)
+       $(CC) $(CFLAGS) -I../.. -o $@ lglincremetal.o -L. -llgl $(LIBS)
 lingeling: lglmain.o liblgl.a makefile $(LDEPS)
        $(CC) $(CFLAGS) -o $@ lglmain.o -L. -llgl $(LIBS)
 plingeling: plingeling.o liblgl.a makefile $(LDEPS)
@@ -44,6 +46,8 @@ lgluntrace: lgluntrace.o liblgl.a makefile $(LDEPS)
 lglddtrace: lglddtrace.o liblgl.a makefile $(LDEPS)
        $(CC) $(CFLAGS) -o $@ lglddtrace.o -L. -llgl $(LIBS)
 
+lglincremental.o: lglincremental.c lglib.h makefile
+       $(CC) $(CFLAGS) -c lglincremental.c
 lglmain.o: lglmain.c lglib.h makefile
        $(CC) $(CFLAGS) -c lglmain.c
 plingeling.o: plingeling.c lglib.h makefile
@@ -68,7 +72,7 @@ lgldimacs.o: lgldimacs.c lgldimacs.h makefile
 lglbnr.o: lglbnr.c lglcfg.h lglcflags.h makefile
        $(CC) $(CFLAGS) -c lglbnr.c
 
-lglcfg.h: VERSION mkconfig.sh lglbnr.c lglib.c lglmain.c lglcflags.h makefile
+lglcfg.h: VERSION mkconfig.sh lglbnr.c lglib.c lglmain.c lglincremental.c lglcflags.h makefile
        rm -f $@
        ./mkconfig.sh > $@
 lglcflags.h: makefile
@@ -80,7 +84,7 @@ clean: clean-all clean-config
 clean-config:
        rm -f makefile lglcfg.h lglcflags.h
 clean-all:
-       rm -f lingeling plingeling ilingeling treengeling blimc
+       rm -f lingeling plingeling ilingeling treengeling blimc incling
        rm -f lglmbt lgluntrace lglddtrace
        rm -f *.gcno *.gcda cscope.out gmon.out *.gcov *.gch *.plist
        rm -f *.E *.o *.s *.a log/*.log