backends/picosat/makefile.in

   1 CC=@CC@
   2 CFLAGS=@CFLAGS@
   3
   4 <<<<<<< HEAD
   5 all: picosat libpicosat.a
   6
   7 clean:
   8         rm -f picosat *.exe *.s *.o *.a *.so
   9         rm -f makefile config.h
  10         rm -f gmon.out *~
  11
  12 picosat: libpicosat.a app.o main.o
  13         $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
  14
  15 app.o: app.c picosat.h makefile
  16         $(CC) $(CFLAGS) -c $<
  17
  18 =======
  19 all: @TARGETS@
  20
  21 clean:
  22         rm -f picosat picomcs picomus picogcnf
  23         rm -f *.exe *.s *.o *.a *.so *.plist
  24         rm -f makefile config.h
  25         rm -f gmon.out *~
  26
  27 analyze:
  28         clang --analyze $(CFLAGS) *.c *.h
  29
  30 picosat: libpicosat.a app.o main.o
  31         $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
  32
  33 picomcs: libpicosat.a picomcs.o
  34         $(CC) $(CFLAGS) -o $@ picomcs.o -L. -lpicosat
  35
  36 picomus: libpicosat.a picomus.o
  37         $(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat
  38
  39 picogcnf: libpicosat.a picogcnf.o
  40         $(CC) $(CFLAGS) -o $@ picogcnf.o -L. -lpicosat
  41
  42 app.o: app.c picosat.h makefile
  43         $(CC) $(CFLAGS) -c $<
  44
  45 picomcs.o: picomcs.c picosat.h makefile
  46         $(CC) $(CFLAGS) -c $<
  47
  48 picomus.o: picomus.c picosat.h makefile
  49         $(CC) $(CFLAGS) -c $<
  50
  51 picogcnf.o: picogcnf.c picosat.h makefile
  52         $(CC) $(CFLAGS) -c $<
  53
  54 >>>>>>> 7a0fcd7... Import PicoSAT-965
  55 main.o: main.c picosat.h makefile
  56         $(CC) $(CFLAGS) -c $<
  57
  58 picosat.o: picosat.c picosat.h makefile
  59         $(CC) $(CFLAGS) -c $<
  60
  61 version.o: version.c config.h makefile
  62         $(CC) $(CFLAGS) -c $<
  63
  64 <<<<<<< HEAD
  65 config.h: makefile VERSION mkconfig # and actually picosat.c
  66         rm -f $@; ./mkconfig > $@
  67 =======
  68 config.h: makefile VERSION mkconfig.sh # and actually picosat.c
  69         rm -f $@; ./mkconfig.sh > $@
  70 >>>>>>> 7a0fcd7... Import PicoSAT-965
  71
  72 libpicosat.a: picosat.o version.o
  73         ar rc $@ picosat.o version.o
  74         ranlib $@
  75
  76 <<<<<<< HEAD
  77 =======
  78 SONAME=-Xlinker -soname -Xlinker libpicosat.so
  79 libpicosat.so: picosat.o version.o
  80         $(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME)
  81
  82 >>>>>>> 7a0fcd7... Import PicoSAT-965
  83 .PHONY: all clean