From 33b4a6853eb4a64c739e191fc861ac21ae6385da Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 26 May 2017 20:41:12 +0200 Subject: [PATCH] liquidhaskell: try fix test suite This almost succeeded, but some minor issues remain. --- pkgs/development/haskell-modules/configuration-nix.nix | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index c954f06518b..58ab8024369 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); }