From e7b0556e74a1fd029f13aaaf2db0253832cb2668 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 29 Mar 2019 18:36:46 +0100
Subject: Makefile for picosat

---
 test/monniaux/picosat-965/dm_configure_ccomp.sh |  2 -
 test/monniaux/picosat-965/dm_configure_gcc.sh   |  1 -
 test/monniaux/picosat-965/makefile.in           | 59 -------------------------
 3 files changed, 62 deletions(-)
 delete mode 100755 test/monniaux/picosat-965/dm_configure_ccomp.sh
 delete mode 100755 test/monniaux/picosat-965/dm_configure_gcc.sh
 delete mode 100644 test/monniaux/picosat-965/makefile.in

(limited to 'test')

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
-- 
cgit