picosat: fix ar and ranlib usage for cross

This commit is contained in:
Will Dietz 2018-02-05 13:22:14 -06:00
parent 36b2706916
commit 4c767417ea

View File

@ -11,6 +11,10 @@ stdenv.mkDerivation rec {
prePatch = ''
substituteInPlace picosat.c --replace "sys/unistd.h" "unistd.h"
substituteInPlace makefile.in \
--replace 'ar rc' '$(AR) rc' \
--replace 'ranlib' '$(RANLIB)'
'';
configurePhase = "./configure.sh --shared --trace";