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 incling 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 incling: lglincremental.o liblgl.a makefile $(LDEPS)
  31         $(CC) $(CFLAGS) -I../.. -o $@ lglincremetal.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)
  48
  49 lglincremental.o: lglincremental.c lglib.h makefile
  50         $(CC) $(CFLAGS) -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
  67
  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
  74
  75 lglcfg.h: VERSION mkconfig.sh lglbnr.c lglib.c lglmain.c lglincremental.c lglcflags.h makefile
  76         rm -f $@
  77         ./mkconfig.sh > $@
  78 lglcflags.h: makefile
  79         rm -f $@
  80         echo '#define LGL_CC "$(shell $(CC) --version|head -1)"' >> $@
  81         echo '#define LGL_CFLAGS "$(CFLAGS)"' >> $@
  82
  83 clean: clean-all clean-config
  84 clean-config:
  85         rm -f makefile lglcfg.h lglcflags.h
  86 clean-all:
  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
  91
  92 .PHONY: all targets clean clean-config clean-all