-include makefile.other
targets: liblgl.a
-targets: lingeling plingeling ilingeling treengeling
+targets: lingeling incling plingeling ilingeling treengeling
targets: lglmbt lgluntrace lglddtrace
targets: @AIGERTARGETS@
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)
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
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
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