haskell-liquid-fixpoint: patch /bin/bash path in configure script

2015-02-05 13:55:19 +01:00
parent 4d8378c7b9
commit b6598d4d47
1 changed files with 3 additions and 0 deletions
@@ -439,6 +439,9 @@ self: super: {
  # https://github.com/basvandijk/threads/issues/10
  threads = dontCheck super.threads;

+  # https://github.com/ucsd-progsys/liquid-fixpoint/issues/44
+  liquid-fixpoint = overrideCabal super.liquid-fixpoint (drv: { preConfigure = "patchShebangs ."; });
+
 } // {

  # Not on Hackage.