dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #127565 from athas/mosml-dont-patchelf

Browse Source 
mosml: dontPatchElf = true
This commit is contained in:
Sandro 2021-06-20 18:37:00 +02:00 committed by GitHub
commit 79291047d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/mosml/default.nix
View File

@ -15,6 +15,10 @@ stdenv.mkDerivation rec {
setSourceRoot = ''export sourceRoot="$(echo */src)"'';
# MosML needs a specific RPATH entry pointing to $(out)/lib (added
# by the build system), which patchelf will remove.
dontPatchELF = true;
meta = with lib; {
description = "A light-weight implementation of Standard ML";
longDescription = ''