Add hardening, bump hash to HaLVM

This commit is contained in:
David Johnson 2017-04-13 23:21:38 -05:00
parent e94437d1ed
commit 6f69681dad
2 changed files with 6 additions and 6 deletions

View file

@ -8,13 +8,13 @@ stdenv.mkDerivation rec {
isHaLVM = true; isHaLVM = true;
isGhcjs = false; isGhcjs = false;
src = fetchgit { src = fetchgit {
rev = "6aa72c9b047fd8ddff857c994a5a895461fc3925"; rev = "65fad65966eb7e60f234453a35aeb564a09d2595";
url = "https://github.com/GaloisInc/HaLVM"; url = "https://github.com/GaloisInc/HaLVM";
sha256 = "05cg4w6fw5ajmpmh8g2msprnygmr4isb3pphqhlddfqwyvqhl167"; sha256 = "09633h38w0z20cz0wcfp9z5kzv8v1zwcv0wqvgq3c8svqbrxp28k";
}; };
prePatch = '' prePatch = ''
sed -i '312 d' Makefile sed -i '305 d' Makefile
sed -i '316,446 d' Makefile # Removes RPM packaging sed -i '309,439 d' Makefile # Removes RPM packaging
sed -i '20 d' src/scripts/halvm-cabal.in sed -i '20 d' src/scripts/halvm-cabal.in
sed -ie 's|ld |${binutils}/bin/ld |g' src/scripts/ldkernel.in sed -ie 's|ld |${binutils}/bin/ld |g' src/scripts/ldkernel.in
''; '';

View file

@ -1,5 +1,5 @@
{ stdenv, fetchurl, ghc, pkgconfig, glibcLocales, coreutils, gnugrep, gnused { stdenv, fetchurl, ghc, pkgconfig, glibcLocales, coreutils, gnugrep, gnused
, jailbreak-cabal, hscolour, cpphs, nodejs , jailbreak-cabal, hscolour, cpphs, nodejs, lib
}: let isCross = (ghc.cross or null) != null; in }: let isCross = (ghc.cross or null) != null; in
{ pname { pname
@ -53,7 +53,7 @@
, shellHook ? "" , shellHook ? ""
, coreSetup ? false # Use only core packages to build Setup.hs. , coreSetup ? false # Use only core packages to build Setup.hs.
, useCpphs ? false , useCpphs ? false
, hardeningDisable ? [] , hardeningDisable ? lib.optional (ghc.isHaLVM or false) "all"
} @ args: } @ args:
assert editedCabalFile != null -> revision != null; assert editedCabalFile != null -> revision != null;