Merge pull request #93428 from johnbcoughlin/petsc-install_name_tool

petsc: Fix install_name_tool patch
This commit is contained in:
Daniël de Kok 2020-07-18 20:45:39 +02:00 committed by GitHub
commit cf059b32d9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
{ stdenv , fetchurl , blas , gfortran , lapack , python }:
{ stdenv , darwin , fetchurl , blas , gfortran , lapack , python }:
stdenv.mkDerivation rec {
pname = "petsc";
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
--replace /bin/sh /usr/bin/python
'' + stdenv.lib.optionalString stdenv.isDarwin ''
substituteInPlace config/install.py \
--replace /usr/bin/install_name_tool install_name_tool
--replace /usr/bin/install_name_tool ${darwin.cctools}/bin/install_name_tool
'';
preConfigure = ''