blob: 07dc3a7e2b6587c616b12581f5860df984eb1c28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
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
|
