diff options
author | Karel Kočí <cynerd@email.cz> | 2015-05-05 11:58:26 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-05-05 11:58:26 +0200 |
commit | dfe47d067a70f9781e3b431f6a685090bf87ff40 (patch) | |
tree | 5151ba40cdd422e9f9bbbba0398b2a569ba88311 /scripts/picosat-959/makefile.in | |
parent | 289b0ce128cdca79676307646eef3d56c25c6dd2 (diff) | |
download | linux-conf-perf-dfe47d067a70f9781e3b431f6a685090bf87ff40.tar.gz linux-conf-perf-dfe47d067a70f9781e3b431f6a685090bf87ff40.tar.bz2 linux-conf-perf-dfe47d067a70f9781e3b431f6a685090bf87ff40.zip |
Add picosat version 959
Diffstat (limited to 'scripts/picosat-959/makefile.in')
-rw-r--r-- | scripts/picosat-959/makefile.in | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/scripts/picosat-959/makefile.in b/scripts/picosat-959/makefile.in new file mode 100644 index 0000000..429e8bf --- /dev/null +++ b/scripts/picosat-959/makefile.in @@ -0,0 +1,59 @@ +CC=@CC@ +CFLAGS=@CFLAGS@ -fno-strict-aliasing + +all: @TARGETS@ + +clean: + rm -f picosat picomcs picomus picogcnf + rm -f *.exe *.s *.o *.a *.so *.plist + rm -f makefile config.h + rm -f gmon.out *~ + +analyze: + clang --analyze $(CFLAGS) *.c *.h + +picosat: libpicosat.a app.o main.o + $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat + +picomcs: libpicosat.a picomcs.o + $(CC) $(CFLAGS) -o $@ picomcs.o -L. -lpicosat + +picomus: libpicosat.a picomus.o + $(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat + +picogcnf: libpicosat.a picogcnf.o + $(CC) $(CFLAGS) -o $@ picogcnf.o -L. -lpicosat + +app.o: app.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +picomcs.o: picomcs.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +picomus.o: picomus.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + +picogcnf.o: picogcnf.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 |