93 lines
2.6 KiB
Nix
93 lines
2.6 KiB
Nix
{ pkgs }:
|
|
|
|
with import ./lib.nix { inherit pkgs; };
|
|
|
|
self: super: {
|
|
|
|
# Disable GHC 7.6.x core libraries.
|
|
array = null;
|
|
base = null;
|
|
binary = null;
|
|
bin-package-db = null;
|
|
bytestring = null;
|
|
Cabal = null;
|
|
containers = null;
|
|
deepseq = null;
|
|
directory = null;
|
|
filepath = null;
|
|
ghc-prim = null;
|
|
haskell2010 = null;
|
|
haskell98 = null;
|
|
hoopl = null;
|
|
hpc = null;
|
|
integer-gmp = null;
|
|
old-locale = null;
|
|
old-time = null;
|
|
pretty = null;
|
|
process = null;
|
|
rts = null;
|
|
template-haskell = null;
|
|
time = null;
|
|
unix = null;
|
|
|
|
# transformers is not a core library for this compiler.
|
|
transformers = self.transformers_0_4_2_0;
|
|
mtl = self.mtl_2_2_1;
|
|
transformers-compat = disableCabalFlag super.transformers-compat "three";
|
|
|
|
# haskeline and terminfo are not core libraries for this compiler.
|
|
haskeline = self.haskeline_0_7_1_3;
|
|
terminfo = self.terminfo_0_4_0_0;
|
|
|
|
# https://github.com/haskell/cabal/issues/2322
|
|
Cabal_1_22_0_0 = super.Cabal_1_22_0_0.override { binary = self.binary_0_7_3_0; };
|
|
|
|
# https://github.com/tibbe/hashable/issues/85
|
|
hashable = dontCheck super.hashable;
|
|
|
|
# Needs Cabal >= 1.18.x.
|
|
jailbreak-cabal = super.jailbreak-cabal.override { Cabal = self.Cabal_1_18_1_6; };
|
|
|
|
# Haddock chokes on the prologue from the cabal file.
|
|
ChasingBottoms = dontHaddock super.ChasingBottoms;
|
|
|
|
# Later versions require a newer version of bytestring than we have.
|
|
aeson = self.aeson_0_7_0_6;
|
|
|
|
# The test suite depends on time >=1.4.0.2.
|
|
cookie = dontCheck super.cookie;
|
|
|
|
# Work around bytestring >=0.10.2.0 requirement.
|
|
streaming-commons = addBuildDepend super.streaming-commons self.bytestring-builder;
|
|
|
|
# Choose appropriate flags for our version of 'bytestring'.
|
|
bytestring-builder = disableCabalFlag super.bytestring-builder "bytestring_has_builder";
|
|
|
|
} // {
|
|
|
|
# Not on Hackage.
|
|
cryptol = self.mkDerivation rec {
|
|
pname = "cryptol";
|
|
version = "2.1.0";
|
|
src = pkgs.fetchFromGitHub {
|
|
owner = "GaloisInc";
|
|
repo = "cryptol";
|
|
rev = "v${version}";
|
|
sha256 = "00bmad3qc7h47j26xp7hbrlb0qv0f7k9spxgsc1f6lsmpgq9axr3";
|
|
};
|
|
isLibrary = true;
|
|
isExecutable = true;
|
|
buildDepends = with self; [
|
|
ansi-terminal array async base containers deepseq directory
|
|
executable-path filepath GraphSCC haskeline monadLib mtl old-time
|
|
presburger pretty process QuickCheck random smtLib syb text
|
|
tf-random transformers utf8-string
|
|
];
|
|
buildTools = with self; [ alex happy Cabal_1_22_0_0 ];
|
|
patchPhase = "sed -i -e 's|process .*,|process,|' cryptol.cabal";
|
|
description = "Cryptol: The Language of Cryptography";
|
|
license = pkgs.stdenv.lib.licenses.bsd3;
|
|
};
|
|
|
|
}
|