4 all: picosat libpicosat.a
7 rm -f picosat
*.exe
*.s
*.o
*.a
*.so
8 rm -f makefile config.h
11 picosat
: libpicosat.a app.o main.o
12 $(CC
) $(CFLAGS
) -o
$@ main.o app.o
-L.
-lpicosat
14 app.o
: app.c picosat.h makefile
17 main.o
: main.c picosat.h makefile
20 picosat.o
: picosat.c picosat.h makefile
23 version.o
: version.c config.h makefile
26 config.h
: makefile VERSION mkconfig
# and actually picosat.c
27 rm -f
$@
; .
/mkconfig
> $@
29 libpicosat.a
: picosat.o version.o
30 ar rc
$@ picosat.o version.o