From 07f94da073dede202ff88f3893f15828243b44a3 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 30 Jan 2019 09:49:10 +0100 Subject: fixes in makefiles --- test/monniaux/picosat-965/make.log | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 test/monniaux/picosat-965/make.log (limited to 'test/monniaux/picosat-965/make.log') 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 -- cgit