diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:36:46 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:36:46 +0100 |
commit | e7b0556e74a1fd029f13aaaf2db0253832cb2668 (patch) | |
tree | bf32261bec3a7588c8ced86809259117836a844f | |
parent | 522d7e88ef611de8edde6ae49cb985da58b8963c (diff) | |
download | compcert-kvx-e7b0556e74a1fd029f13aaaf2db0253832cb2668.tar.gz compcert-kvx-e7b0556e74a1fd029f13aaaf2db0253832cb2668.zip |
Makefile for picosat
-rwxr-xr-x | test/monniaux/picosat-965/dm_configure_ccomp.sh | 2 | ||||
-rwxr-xr-x | test/monniaux/picosat-965/dm_configure_gcc.sh | 1 | ||||
-rw-r--r-- | test/monniaux/picosat-965/makefile.in | 59 |
3 files changed, 0 insertions, 62 deletions
diff --git a/test/monniaux/picosat-965/dm_configure_ccomp.sh b/test/monniaux/picosat-965/dm_configure_ccomp.sh deleted file mode 100755 index 3be58a48..00000000 --- a/test/monniaux/picosat-965/dm_configure_ccomp.sh +++ /dev/null @@ -1,2 +0,0 @@ -# BUG -CC=../../../ccomp CFLAGS="-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh diff --git a/test/monniaux/picosat-965/dm_configure_gcc.sh b/test/monniaux/picosat-965/dm_configure_gcc.sh deleted file mode 100755 index 4b0e66fe..00000000 --- a/test/monniaux/picosat-965/dm_configure_gcc.sh +++ /dev/null @@ -1 +0,0 @@ -CC=k1-mbr-gcc CFLAGS="-Wall -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh diff --git a/test/monniaux/picosat-965/makefile.in b/test/monniaux/picosat-965/makefile.in deleted file mode 100644 index 8e0e7403..00000000 --- a/test/monniaux/picosat-965/makefile.in +++ /dev/null @@ -1,59 +0,0 @@ -CC=@CC@ -CFLAGS=@CFLAGS@ - -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.sh # and actually picosat.c - rm -f $@; ./mkconfig.sh > $@ - -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 |