blob: bc0c501c9223672376365c5ecdf93da4bda1c8af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- a/makefile.in
+++ b/makefile.in
@@ -49,8 +49,8 @@ config.h: makefile VERSION mkconfig.sh # and actually picosat.c
rm -f $@; ./mkconfig.sh > $@
libpicosat.a: picosat.o version.o
- ar rc $@ picosat.o version.o
- ranlib $@
+ $(AR) rc $@ picosat.o version.o
+ $(RANLIB) $@
SONAME=-Xlinker -soname -Xlinker libpicosat.so
libpicosat.so: picosat.o version.o
|