diff options
Diffstat (limited to 'sci-mathematics/picosat/files/picosat-965-makefile.in.patch')
-rw-r--r-- | sci-mathematics/picosat/files/picosat-965-makefile.in.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sci-mathematics/picosat/files/picosat-965-makefile.in.patch b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch new file mode 100644 index 000000000000..bc0c501c9223 --- /dev/null +++ b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch @@ -0,0 +1,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 |