lingeling/code/makefile.in

   1 MAKEFLAGS=-j $(if $(CORES),$(CORES),1)
   2
   3 CC=@CC@
   4 CFLAGS=@CFLAGS@
   5
   6 LIBS=@LIBS@
   7 LDEPS=@LDEPS@
   8 HDEPS=@HDEPS@
   9 AIGER=@AIGER@
  10
  11 all: targets
  12
  13 -include makefile.bcd
  14 -include makefile.tune
  15 -include makefile.mus
  16 -include makefile.other
  17
  18 targets: liblgl.a
  19 targets: lingeling plingeling ilingeling treengeling
  20 targets: lglmbt lgluntrace lglddtrace
  21 targets: @AIGERTARGETS@
  22
  23 analyze:
  24         clang --analyze $(CFLAGS) $(shell ls *.c *.h)
  25
  26 liblgl.a: lglib.o lglbnr.o lgldimacs.o makefile
  27         ar rc $@ lglib.o lglbnr.o lgldimacs.o
  28         ranlib $@
  29
  30 lingeling: lglmain.o liblgl.a makefile $(LDEPS)
  31         $(CC) $(CFLAGS) -o $@ lglmain.o -L. -llgl $(LIBS)
  32 plingeling: plingeling.o liblgl.a makefile $(LDEPS)
  33         $(CC) $(CFLAGS) -pthread -o $@ plingeling.o -L. -llgl $(LIBS)
  34 treengeling: treengeling.o liblgl.a makefile $(LDEPS)
  35         $(CC) $(CFLAGS) -pthread -o $@ treengeling.o -L. -llgl $(LIBS)
  36 blimc: blimc.o liblgl.a makefile $(AIGER)/aiger.o $(LDEPS)
  37         $(CC) $(CFLAGS) -o $@ blimc.o -L. $(AIGER)/aiger.o -llgl $(LIBS)
  38 ilingeling: ilingeling.o liblgl.a makefile $(LDEPS)
  39         $(CC) $(CFLAGS) -pthread -o $@ ilingeling.o -L. -llgl $(LIBS)
  40 lglmbt: lglmbt.o liblgl.a $(LDEPS)
  41         $(CC) $(CFLAGS) -o $@ lglmbt.o -L. -llgl $(LIBS)
  42 lgluntrace: lgluntrace.o liblgl.a makefile $(LDEPS)
  43         $(CC) $(CFLAGS) -o $@ lgluntrace.o -L. -llgl $(LIBS)
  44 lglddtrace: lglddtrace.o liblgl.a makefile $(LDEPS)
  45         $(CC) $(CFLAGS) -o $@ lglddtrace.o -L. -llgl $(LIBS)
  46
  47 lglmain.o: lglmain.c lglib.h makefile
  48         $(CC) $(CFLAGS) -c lglmain.c
  49 plingeling.o: plingeling.c lglib.h makefile
  50         $(CC) $(CFLAGS) -c plingeling.c
  51 treengeling.o: treengeling.c lglib.h makefile
  52         $(CC) $(CFLAGS) -c treengeling.c
  53 ilingeling.o: ilingeling.c lglib.h makefile
  54         $(CC) $(CFLAGS) -c ilingeling.c
  55 blimc.o: blimc.c lglib.h $(AIGER)/aiger.h makefile
  56         $(CC) $(CFLAGS) -I$(AIGER) -c -o $@ blimc.c
  57 lglmbt.o: lglmbt.c lglib.h makefile
  58         $(CC) $(CFLAGS) -c lglmbt.c
  59 lgluntrace.o: lgluntrace.c lglib.h makefile
  60         $(CC) $(CFLAGS) -c lgluntrace.c
  61 lglddtrace.o: lglddtrace.c lglib.h makefile
  62         $(CC) $(CFLAGS) -c lglddtrace.c
  63
  64 lglib.o: lglib.c lglib.h makefile $(HDEPS)
  65         $(CC) $(CFLAGS) -c lglib.c
  66 lgldimacs.o: lgldimacs.c lgldimacs.h makefile
  67         $(CC) $(CFLAGS) -c lgldimacs.c
  68 lglbnr.o: lglbnr.c lglcfg.h lglcflags.h makefile
  69         $(CC) $(CFLAGS) -c lglbnr.c
  70
  71 lglcfg.h: VERSION mkconfig.sh lglbnr.c lglib.c lglmain.c lglcflags.h makefile
  72         rm -f $@
  73         ./mkconfig.sh > $@
  74 lglcflags.h: makefile
  75         rm -f $@
  76         echo '#define LGL_CC "$(shell $(CC) --version|head -1)"' >> $@
  77         echo '#define LGL_CFLAGS "$(CFLAGS)"' >> $@
  78
  79 clean: clean-all clean-config
  80 clean-config:
  81         rm -f makefile lglcfg.h lglcflags.h
  82 clean-all:
  83         rm -f lingeling plingeling ilingeling treengeling blimc
  84         rm -f lglmbt lgluntrace lglddtrace
  85         rm -f *.gcno *.gcda cscope.out gmon.out *.gcov *.gch *.plist
  86         rm -f *.E *.o *.s *.a log/*.log
  87
  88 .PHONY: all targets clean clean-config clean-all