blob: f6fd2f099b76a05055b3ac662ea2d7703104f56c (
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
39
40
41
42
43
|
CC=gcc
CFLAGS= -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O2
all: picosat picomus libpicosat.a
clean:
rm -f picosat *.exe *.s *.o *.a *.so
rm -f makefile config.h
rm -f gmon.out *~
picosat: libpicosat.a app.o main.o
$(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
picomus: libpicosat.a picomus.o
$(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat
app.o: app.c picosat.h makefile
$(CC) $(CFLAGS) -c $<
picomus.o: picomus.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 # and actually picosat.c
rm -f $@; ./mkconfig > $@
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
|
