forked from NixOS/nixpkgs
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
6 changed files
with
131 additions
and
15 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,48 @@ | ||
{ stdenv, fetchgit, bootPkgs, perl, gmp, ncurses, binutils, autoconf, alex, happy, makeStaticLibraries | ||
, hscolour, xen, automake, gcc, git, zlib, libtool, enableIntegerSimple ? false | ||
}: | ||
|
||
stdenv.mkDerivation rec { | ||
version = "2.4.0"; | ||
name = "HaLVM-${version}"; | ||
isHaLVM = true; | ||
isGhcjs = false; | ||
src = fetchgit { | ||
rev = "6aa72c9b047fd8ddff857c994a5a895461fc3925"; | ||
url = "https://github.com/GaloisInc/HaLVM"; | ||
sha256 = "05cg4w6fw5ajmpmh8g2msprnygmr4isb3pphqhlddfqwyvqhl167"; | ||
}; | ||
prePatch = '' | ||
sed -i '312 d' Makefile | ||
sed -i '316,446 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 | ||
''; | ||
configureFlags = stdenv.lib.optional (!enableIntegerSimple) [ "--enable-gmp" ]; | ||
propagatedNativeBuildInputs = [ alex happy ]; | ||
buildInputs = | ||
let haskellPkgs = [ alex happy bootPkgs.hscolour bootPkgs.cabal-install bootPkgs.haddock bootPkgs.hpc | ||
]; in [ bootPkgs.ghc | ||
automake perl git binutils | ||
autoconf xen zlib ncurses.dev | ||
libtool gmp ] ++ haskellPkgs; | ||
preConfigure = '' | ||
autoconf | ||
patchShebangs . | ||
''; | ||
hardeningDisable = ["all"]; | ||
postInstall = "$out/bin/halvm-ghc-pkg recache"; | ||
passthru = { | ||
inherit bootPkgs; | ||
cross.config = "halvm"; | ||
cc = "${gcc}/bin/gcc"; | ||
ld = "${binutils}/bin/ld"; | ||
}; | ||
|
||
meta = { | ||
homepage = "http://github.com/GaloisInc/HaLVM"; | ||
description = "The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen"; | ||
maintainers = with stdenv.lib.maintainers; [ dmjio ]; | ||
inherit (bootPkgs.ghc.meta) license platforms; | ||
}; | ||
} |
59 changes: 59 additions & 0 deletions
59
pkgs/development/haskell-modules/configuration-halvm-2.4.0.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,59 @@ | ||
{ pkgs }: | ||
|
||
with import ./lib.nix { inherit pkgs; }; | ||
|
||
self: super: { | ||
|
||
# Suitable LLVM version. | ||
llvmPackages = pkgs.llvmPackages_35; | ||
|
||
# Disable GHC 8.0.x core libraries. | ||
array = null; | ||
base = null; | ||
binary = null; | ||
bytestring = null; | ||
Cabal = null; | ||
containers = null; | ||
deepseq = null; | ||
directory = null; | ||
filepath = null; | ||
ghc-boot = null; | ||
ghc-boot-th = null; | ||
ghc-prim = null; | ||
ghci = null; | ||
haskeline = null; | ||
hoopl = null; | ||
hpc = null; | ||
integer-gmp = null; | ||
pretty = null; | ||
process = null; | ||
rts = null; | ||
template-haskell = null; | ||
terminfo = null; | ||
time = null; | ||
transformers = null; | ||
unix = null; | ||
xhtml = null; | ||
|
||
# cabal-install can use the native Cabal library. | ||
cabal-install = super.cabal-install.override { Cabal = null; }; | ||
|
||
# jailbreak-cabal can use the native Cabal library. | ||
jailbreak-cabal = super.jailbreak-cabal.override { Cabal = null; }; | ||
|
||
# https://github.com/bmillwood/applicative-quoters/issues/6 | ||
applicative-quoters = appendPatch super.applicative-quoters (pkgs.fetchpatch { | ||
url = "https://patch-diff.githubusercontent.com/raw/bmillwood/applicative-quoters/pull/7.patch"; | ||
sha256 = "026vv2k3ks73jngwifszv8l59clg88pcdr4mz0wr0gamivkfa1zy"; | ||
}); | ||
|
||
# https://github.com/christian-marie/xxhash/issues/3 | ||
xxhash = doJailbreak super.xxhash; | ||
|
||
# https://github.com/Deewiant/glob/issues/8 | ||
Glob = doJailbreak super.Glob; | ||
|
||
# http://hub.darcs.net/dolio/vector-algorithms/issue/9#comment-20170112T145715 | ||
vector-algorithms = dontCheck super.vector-algorithms; | ||
|
||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters