26 lines
662 B
Diff
26 lines
662 B
Diff
--- a/CONTRIB/picosat-965/makefile.in
|
|
+++ b/CONTRIB/picosat-965/makefile.in
|
|
@@ -49,8 +49,7 @@ 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) $@ picosat.o version.o
|
|
|
|
SONAME=-Xlinker -soname -Xlinker libpicosat.so
|
|
libpicosat.so: picosat.o version.o
|
|
--- a/Makefile.vars
|
|
+++ b/Makefile.vars
|
|
@@ -160,8 +160,8 @@ LD = $(CC) $(LDFLAGS)
|
|
|
|
# Generic
|
|
# AR = sleep 1;ar rcs
|
|
- AR = ar rcs
|
|
- CC = gcc
|
|
+# AR = ar rcs
|
|
+# CC = gcc
|
|
|
|
# Builds with link time optimization
|
|
#
|