diff options
author | Will Dietz <w@wdtz.org> | 2018-02-05 13:22:14 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-02-13 09:44:32 -0600 |
commit | 4c767417ea6fe47a266359216e28f110f4f93db8 (patch) | |
tree | 450ef6e4deba5ca3e692e6044bc230ac7d556a30 /pkgs | |
parent | 36b27069167a9f64cae4162145bf7f1462a53a7b (diff) | |
download | nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar.gz nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar.bz2 nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar.lz nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar.xz nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.tar.zst nixpkgs-4c767417ea6fe47a266359216e28f110f4f93db8.zip |
picosat: fix ar and ranlib usage for cross
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix index cd672ed00e7..db252f97916 100644 --- a/pkgs/applications/science/logic/picosat/default.nix +++ b/pkgs/applications/science/logic/picosat/default.nix @@ -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"; |