diff options
author | David Johnson <djohnson.m@gmail.com> | 2017-04-13 23:21:38 -0500 |
---|---|---|
committer | David Johnson <djohnson.m@gmail.com> | 2017-04-14 00:34:02 -0500 |
commit | 6f69681dad1c937614dbbb767f95480ea630d781 (patch) | |
tree | b79e29c15ca077a8a7e1aa304cf956ba5b800c8b /pkgs/development/compilers/halvm | |
parent | e94437d1ed7616f0e3dfa90498d81e191652cba8 (diff) | |
download | nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar.gz nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar.bz2 nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar.lz nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar.xz nixlib-6f69681dad1c937614dbbb767f95480ea630d781.tar.zst nixlib-6f69681dad1c937614dbbb767f95480ea630d781.zip |
Add hardening, bump hash to HaLVM
Diffstat (limited to 'pkgs/development/compilers/halvm')
-rw-r--r-- | pkgs/development/compilers/halvm/2.4.0.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/halvm/2.4.0.nix b/pkgs/development/compilers/halvm/2.4.0.nix index c167f4bdd75a..08e74bdb78e9 100644 --- a/pkgs/development/compilers/halvm/2.4.0.nix +++ b/pkgs/development/compilers/halvm/2.4.0.nix @@ -8,13 +8,13 @@ stdenv.mkDerivation rec { isHaLVM = true; isGhcjs = false; src = fetchgit { - rev = "6aa72c9b047fd8ddff857c994a5a895461fc3925"; + rev = "65fad65966eb7e60f234453a35aeb564a09d2595"; url = "https://github.com/GaloisInc/HaLVM"; - sha256 = "05cg4w6fw5ajmpmh8g2msprnygmr4isb3pphqhlddfqwyvqhl167"; + sha256 = "09633h38w0z20cz0wcfp9z5kzv8v1zwcv0wqvgq3c8svqbrxp28k"; }; prePatch = '' - sed -i '312 d' Makefile - sed -i '316,446 d' Makefile # Removes RPM packaging + sed -i '305 d' Makefile + sed -i '309,439 d' Makefile # Removes RPM packaging sed -i '20 d' src/scripts/halvm-cabal.in sed -ie 's|ld |${binutils}/bin/ld |g' src/scripts/ldkernel.in ''; |