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 /pkgs | |
parent | e3938c8e318b3ba76be735e0eb1652b640fb8d65 (diff) | |
parent | 53dde421533d96de8c8c72c9d756042de800fd6b (diff) |
Merge pull request #24332 from WilliButz/master
manticore: fix compiling pml sources
Diffstat (limited to 'pkgs')
-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 d068d744f2033..795830e0e707d 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"; |