backends/picosat/makefile.in

   1 CC=@CC@
   2 CFLAGS=@CFLAGS@
   3
   4 all: picosat libpicosat.a
   5
   6 clean:
   7         rm -f picosat *.exe *.s *.o *.a *.so
   8         rm -f makefile config.h
   9         rm -f gmon.out *~
  10
  11 picosat: libpicosat.a app.o main.o
  12         $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
  13
  14 app.o: app.c picosat.h makefile
  15         $(CC) $(CFLAGS) -c $<
  16
  17 main.o: main.c picosat.h makefile
  18         $(CC) $(CFLAGS) -c $<
  19
  20 picosat.o: picosat.c picosat.h makefile
  21         $(CC) $(CFLAGS) -c $<
  22
  23 version.o: version.c config.h makefile
  24         $(CC) $(CFLAGS) -c $<
  25
  26 config.h: makefile VERSION mkconfig # and actually picosat.c
  27         rm -f $@; ./mkconfig > $@
  28
  29 libpicosat.a: picosat.o version.o
  30         ar rc $@ picosat.o version.o
  31         ranlib $@
  32
  33 .PHONY: all clean