fixes in makefiles

1 files changed, 0 insertions, 38 deletions

diff --git a/test/monniaux/picosat-965/make.log b/test/monniaux/picosat-965/make.log
deleted file mode 100644
index 07dc3a7e..00000000
--- a/test/monniaux/picosat-965/make.log
+++ /dev/null
@@ -1,38 +0,0 @@
-k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c picosat.c
-rm -f config.h; ./mkconfig.sh > config.h
-k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c version.c
-ar rc libpicosat.a picosat.o version.o
-ranlib libpicosat.a
-k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c app.c
-app.c:400:15: warning: ‘sig_alarm_handler’ defined but not used [-Wunused-variable]
- static void (*sig_alarm_handler);
-               ^
-app.c:404:1: warning: ‘alarm_triggered’ defined but not used [-Wunused-function]
- alarm_triggered (int sig)
- ^
-app.c:415:1: warning: ‘interrupt_call_back’ defined but not used [-Wunused-function]
- interrupt_call_back (void * dummy)
- ^
-k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c main.c
-k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat
-app.o: In function `write_to_file':
-(.text+0x1f4): undefined reference to `popen'
-app.o: In function `write_to_file':
-(.text+0x288): undefined reference to `pclose'
-app.o: In function `picosat_main':
-(.text+0xb94): undefined reference to `pclose'
-app.o: In function `picosat_main':
-(.text+0x1ff8): undefined reference to `pclose'
-app.o: In function `picosat_main':
-(.text+0x21e0): undefined reference to `popen'
-app.o: In function `picosat_main':
-(.text+0x23dc): undefined reference to `pclose'
-app.o: In function `picosat_main':
-(.text+0x2474): undefined reference to `popen'
-app.o: In function `picosat_main':
-(.text+0x2b74): undefined reference to `popen'
-app.o: In function `picosat_main':
-(.text+0x2c58): undefined reference to `popen'
-collect2: error: ld returned 1 exit status
-makefile:16: recipe for target 'picosat' failed
-make: *** [picosat] Error 1