diff options
| author | Robin Gloster <mail@glob.in> | 2017-03-25 20:05:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-25 20:05:59 +0100 |
| commit | 84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc (patch) | |
| tree | 95392d48479b04197c50f836e48e3742eeb60c13 | |
| parent | e3938c8e318b3ba76be735e0eb1652b640fb8d65 (diff) | |
| parent | 53dde421533d96de8c8c72c9d756042de800fd6b (diff) | |
| download | nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar.gz nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar.bz2 nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar.lz nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar.xz nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.tar.zst nixlib-84c4ea38dc7d6e86e4d62178ba39d373b95ce7dc.zip | |
Merge pull request #24332 from WilliButz/master
manticore: fix compiling pml sources
| -rw-r--r-- | pkgs/development/compilers/manticore/default.nix | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/pkgs/development/compilers/manticore/default.nix b/pkgs/development/compilers/manticore/default.nix index d068d744f203..795830e0e707 100644 --- a/pkgs/development/compilers/manticore/default.nix +++ b/pkgs/development/compilers/manticore/default.nix @@ -21,7 +21,19 @@ in stdenv.mkDerivation rec { autoreconfFlags = "-Iconfig -vfi"; - postPatch = "patchShebangs ."; + unpackPhase = '' + mkdir -p $out + cd $out + unpackFile $src + mv manticore_temp_mirror-${rev}-src repo_checkout + cd repo_checkout + chmod u+w . -R + ''; + + postPatch = '' + patchShebangs . + substituteInPlace configure.ac --replace 'MANTICORE_ROOT=`pwd`' 'MANTICORE_ROOT=$out/repo_checkout' + ''; preInstall = "mkdir -p $out/bin"; |