diff options
Diffstat (limited to 'src/prop/bvpicosat/makefile.in')
-rw-r--r-- | src/prop/bvpicosat/makefile.in | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/src/prop/bvpicosat/makefile.in b/src/prop/bvpicosat/makefile.in new file mode 100644 index 000000000..8c8f22299 --- /dev/null +++ b/src/prop/bvpicosat/makefile.in @@ -0,0 +1,43 @@ +CC=@CC@ +CFLAGS=@CFLAGS@ + +all: @TARGETS@ + +clean: + rm -f picosat *.exe *.s *.o *.a *.so + rm -f makefile config.h + rm -f gmon.out *~ + +picosat: libpicosat.a app.o main.o + $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat + +picomus: libpicosat.a picomus.o + $(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat + +app.o: app.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +picomus.o: picomus.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +main.o: main.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +picosat.o: picosat.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +version.o: version.c config.h makefile + $(CC) $(CFLAGS) -c $< + +config.h: makefile VERSION mkconfig # and actually picosat.c + rm -f $@; ./mkconfig > $@ + +libpicosat.a: picosat.o version.o + ar rc $@ picosat.o version.o + ranlib $@ + +SONAME=-Xlinker -soname -Xlinker libpicosat.so +libpicosat.so: picosat.o version.o + $(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME) + +.PHONY: all clean |