_4ti2: patch in absolute patch to which
This commit is contained in:
@@ -5,6 +5,7 @@
|
||||
autoreconfHook,
|
||||
glpk,
|
||||
gmp,
|
||||
which,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
@@ -18,6 +19,12 @@ stdenv.mkDerivation (finalAttrs: {
|
||||
hash = "sha256-bFvq90hLLGty7p6NLxOARVvKdizg3bp2NkP9nZpVFzQ=";
|
||||
};
|
||||
|
||||
postPatch = ''
|
||||
substituteInPlace src/{groebner/script.template.in,zsolve/{graver,hilbert}.template} \
|
||||
--replace-fail 'SCRIPT=$(realpath $(which "$0"))' \
|
||||
'SCRIPT=$(realpath $(${lib.getExe which} "$0"))'
|
||||
'';
|
||||
|
||||
nativeBuildInputs = [
|
||||
autoreconfHook
|
||||
];
|
||||
|
||||
Reference in New Issue
Block a user