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