1 MAKEFLAGS=-j $(if $(CORES),$(CORES),1)
14 -include makefile.tune
16 -include makefile.other
19 targets: lingeling incling plingeling ilingeling treengeling
20 targets: lglmbt lgluntrace lglddtrace
21 targets: @AIGERTARGETS@
24 clang --analyze $(CFLAGS) $(shell ls *.c *.h)
26 liblgl.a: lglib.o lglbnr.o lgldimacs.o makefile
27 ar rc $@ lglib.o lglbnr.o lgldimacs.o
30 incling: lglincremental.o liblgl.a makefile $(LDEPS)
31 $(CC) $(CFLAGS) -o $@ lglincremental.o -L. -llgl $(LIBS)
32 lingeling: lglmain.o liblgl.a makefile $(LDEPS)
33 $(CC) $(CFLAGS) -o $@ lglmain.o -L. -llgl $(LIBS)
34 plingeling: plingeling.o liblgl.a makefile $(LDEPS)
35 $(CC) $(CFLAGS) -pthread -o $@ plingeling.o -L. -llgl $(LIBS)
36 treengeling: treengeling.o liblgl.a makefile $(LDEPS)
37 $(CC) $(CFLAGS) -pthread -o $@ treengeling.o -L. -llgl $(LIBS)
38 blimc: blimc.o liblgl.a makefile $(AIGER)/aiger.o $(LDEPS)
39 $(CC) $(CFLAGS) -o $@ blimc.o -L. $(AIGER)/aiger.o -llgl $(LIBS)
40 ilingeling: ilingeling.o liblgl.a makefile $(LDEPS)
41 $(CC) $(CFLAGS) -pthread -o $@ ilingeling.o -L. -llgl $(LIBS)
42 lglmbt: lglmbt.o liblgl.a $(LDEPS)
43 $(CC) $(CFLAGS) -o $@ lglmbt.o -L. -llgl $(LIBS)
44 lgluntrace: lgluntrace.o liblgl.a makefile $(LDEPS)
45 $(CC) $(CFLAGS) -o $@ lgluntrace.o -L. -llgl $(LIBS)
46 lglddtrace: lglddtrace.o liblgl.a makefile $(LDEPS)
47 $(CC) $(CFLAGS) -o $@ lglddtrace.o -L. -llgl $(LIBS)
49 lglincremental.o: lglincremental.c lglib.h makefile
50 $(CC) $(CFLAGS) -I../.. -c lglincremental.c
51 lglmain.o: lglmain.c lglib.h makefile
52 $(CC) $(CFLAGS) -c lglmain.c
53 plingeling.o: plingeling.c lglib.h makefile
54 $(CC) $(CFLAGS) -c plingeling.c
55 treengeling.o: treengeling.c lglib.h makefile
56 $(CC) $(CFLAGS) -c treengeling.c
57 ilingeling.o: ilingeling.c lglib.h makefile
58 $(CC) $(CFLAGS) -c ilingeling.c
59 blimc.o: blimc.c lglib.h $(AIGER)/aiger.h makefile
60 $(CC) $(CFLAGS) -I$(AIGER) -c -o $@ blimc.c
61 lglmbt.o: lglmbt.c lglib.h makefile
62 $(CC) $(CFLAGS) -c lglmbt.c
63 lgluntrace.o: lgluntrace.c lglib.h makefile
64 $(CC) $(CFLAGS) -c lgluntrace.c
65 lglddtrace.o: lglddtrace.c lglib.h makefile
66 $(CC) $(CFLAGS) -c lglddtrace.c
68 lglib.o: lglib.c lglib.h makefile $(HDEPS)
69 $(CC) $(CFLAGS) -c lglib.c
70 lgldimacs.o: lgldimacs.c lgldimacs.h makefile
71 $(CC) $(CFLAGS) -c lgldimacs.c
72 lglbnr.o: lglbnr.c lglcfg.h lglcflags.h makefile
73 $(CC) $(CFLAGS) -c lglbnr.c
75 lglcfg.h: VERSION mkconfig.sh lglbnr.c lglib.c lglmain.c lglincremental.c lglcflags.h makefile
80 echo '#define LGL_CC "$(shell $(CC) --version|head -1)"' >> $@
81 echo '#define LGL_CFLAGS "$(CFLAGS)"' >> $@
83 clean: clean-all clean-config
85 rm -f makefile lglcfg.h lglcflags.h
87 rm -f lingeling plingeling ilingeling treengeling blimc incling
88 rm -f lglmbt lgluntrace lglddtrace
89 rm -f *.gcno *.gcda cscope.out gmon.out *.gcov *.gch *.plist
90 rm -f *.E *.o *.s *.a log/*.log
92 .PHONY: all targets clean clean-config clean-all