nixpkgs/pkgs/development/haskell-modules
Austin Seipp 12db6c18f9 cryptol: fix, rework cryptol 2.6.0 builds
- The previous build of Cryptol was broken on GHC 8.6.x, which is now the
  new default. That's been fixed with a few upstream patches that will come
  up whenever the next release happens.

  - There was also a build failure on base-compat, fixed by jailbreaking.

  - The previous setup had all-packages.nix creating a new derivation
  solely for the purpose of wrapping the Z3 binary. This has been removed:
  the wrapper is still added but during the Haskell build itself, so that
  all Haskell dependent packages can use the cryptol interpreters too.

  - In its place, we use justStaticExecutables, so people using nix-env
  and Cryptol users who *don't* need haskell dependencies can get much
  smaller closures. Obviously this still implies a second build, but
  this build is much more useful than one that merely adds a shell
  script to a package that's relatively expensive to compile...

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-07 00:45:22 -05:00
..
patches Import cross-compilation patch for clock 2019-03-16 11:32:39 +01:00
configuration-common.nix cryptol: fix, rework cryptol 2.6.0 builds 2019-04-07 00:45:22 -05:00
configuration-ghc-8.2.x.nix ghc-8.4.4: use sphinx 1.7.x to build the documentation 2019-02-27 21:08:49 +01:00
configuration-ghc-8.4.x.nix purescript: fix build compiling with ghc 8.4.4 2019-03-06 08:36:52 +01:00
configuration-ghc-8.6.x.nix liquidhaskell: switch ghc-8.6.x version to the 'develop' branch to fix the build 2019-03-26 17:20:35 +01:00
configuration-ghc-head.nix Merge pull request #56137 from jacereda/cereal-check-head 2019-02-21 11:54:11 +01:00
configuration-ghcjs.nix haskell-stm: update overrides for the new 2.5.x version 2018-09-24 21:19:35 +02:00
configuration-hackage2nix.yaml cryptol: fix, rework cryptol 2.6.0 builds 2019-04-07 00:45:22 -05:00
configuration-nix.nix cachix: use separate bin output to prove it's useful 2019-03-29 15:10:54 +07:00
configuration-tensorflow.nix haskellPackages.tensorflow-mnist: fix missing dependency on tensorflow-mnist-input-data 2018-09-06 09:15:56 +02:00
default.nix haskell: have a dedicated file for non Hackage packages 2018-10-12 14:12:29 +02:00
generic-builder.nix Add option to disable library-for-ghci in the generic haskell builder. 2019-04-02 11:46:48 +02:00
generic-stack-builder.nix haskell.buildStackProject: use setup hook 2019-01-07 21:28:53 -06:00
hackage-packages.nix cryptol: fix, rework cryptol 2.6.0 builds 2019-04-07 00:45:22 -05:00
hoogle-local-wrapper.sh
hoogle.nix [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
initial-packages.nix Remove HIE package set until automation can be put in place. 2018-03-23 10:06:58 -04:00
lib.nix haskell: allow separate bin output, disable by default 2019-03-29 15:10:42 +07:00
make-package-set.nix Overrides can be passed to callHackageDirect 2019-01-27 12:28:01 -05:00
non-hackage-packages.nix futhark: remove obsolete non-hackage package 2019-01-06 22:56:29 +01:00
stack-hook.sh stack-hook: deduplicate better 2019-03-02 02:21:32 -05:00
with-packages-wrapper.nix treewide: Remove usage of remaining redundant platform compatability stuff 2018-08-30 17:20:32 -04:00