diff options
author | Peter Simons <simons@cryp.to> | 2017-05-26 20:41:12 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2017-05-27 10:33:37 +0200 |
commit | 33b4a6853eb4a64c739e191fc861ac21ae6385da (patch) | |
tree | dd6c3b0cf4df7b4cc5c4cde9cbcc052f6d760f0c | |
parent | d67214d8f7f0c9d1faf68d144ab365b8040c6ac3 (diff) | |
download | nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar.gz nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar.bz2 nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar.lz nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar.xz nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.tar.zst nixlib-33b4a6853eb4a64c739e191fc861ac21ae6385da.zip |
liquidhaskell: try fix test suite
This almost succeeded, but some minor issues remain.
-rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index c954f06518bc..58ab8024369a 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -455,9 +455,10 @@ self: super: builtins.intersectAttrs super { # loc and loc-test depend on each other for testing. Break that infinite cycle: loc-test = super.loc-test.override { loc = dontCheck self.loc; }; - # The test suite tries to run the "fixpoint" executable just built before and - # fails, probably because the library search paths don't add up and it can't - # find its own shared library. + # The test suites try to run the "fixpoint" and "liquid" executables built just + # before and fail because the library search paths aren't configured properly. + # Also needs https://github.com/ucsd-progsys/liquidhaskell/issues/1038 resolved. liquid-fixpoint = disableSharedExecutables super.liquid-fixpoint; + liquidhaskell = dontCheck (disableSharedExecutables super.liquidhaskell); } |