From 3cf27a654adfe57a7e4c00f37b3f3b090d4b66e3 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Wed, 26 Oct 2016 09:52:29 -0500
Subject: [PATCH] yices: Build in parallel, run tests, fix test shebang.

---
 pkgs/applications/science/logic/yices/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix
index a34b995eceaa..7ad8080a9f8f 100644
--- a/pkgs/applications/science/logic/yices/default.nix
+++ b/pkgs/applications/science/logic/yices/default.nix
@@ -10,11 +10,16 @@ stdenv.mkDerivation rec {
     sha256 = "1wfq6hcm54h0mqmbs1ip63i0ywlwnciav86sbzk3gafxyzg1nd0c";
   };
 
+  patchPhase = ''patchShebangs tests/regress/check.sh'';
+
   configureFlags = [ "--with-static-gmp=${gmp-static.out}/lib/libgmp.a"
                      "--with-static-gmp-include-dir=${gmp-static.dev}/include"
                    ];
   buildInputs = [ gmp-static gperf autoreconfHook ];
 
+  enableParallelBuilding = true;
+  doCheck = true;
+
   installPhase = ''make install LDCONFIG=true'';
 
   meta = {