diff options
author | Willi Butz <wbutz@cyberfnord.de> | 2017-03-25 19:43:42 +0100 |
---|---|---|
committer | Willi Butz <wbutz@cyberfnord.de> | 2017-03-25 19:47:38 +0100 |
commit | 53dde421533d96de8c8c72c9d756042de800fd6b (patch) | |
tree | 523566fee785b1d34b21825a4b844f1378ba576d /pkgs/development/compilers/manticore | |
parent | 65593e64c480493555ae21050a422e4c7ff9c7ea (diff) | |
download | nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar.gz nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar.bz2 nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar.lz nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar.xz nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.tar.zst nixlib-53dde421533d96de8c8c72c9d756042de800fd6b.zip |
manticore: fix compiling pml sources
Compiler depends on sources that weren't present in the output.
Diffstat (limited to 'pkgs/development/compilers/manticore')
-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"; |