diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-12-06 09:09:23 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-06 09:09:23 +0000 |
commit | 1fe7aef6facf013a94eac853717f4da4d5d3c5b3 (patch) | |
tree | 78504cbc51fdbf8ae4827c383f075559cf162fa8 /sci-mathematics/picosat/files | |
parent | 7bf9e3db263e64d6cbc306440a7f3c44e551bb13 (diff) |
gentoo auto-resync : 06:12:2022 - 09:09:23
Diffstat (limited to 'sci-mathematics/picosat/files')
-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 |