From bb47bea024e692ed6c983bda2b48e7a25f377098 Mon Sep 17 00:00:00 2001
From: Kevin Quick <quick@sparq.org>
Date: Thu, 19 Oct 2017 09:37:10 -0700
Subject: [PATCH] Enable checks and remove unnecessary lines.

---
 pkgs/development/libraries/theft/default.nix | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/libraries/theft/default.nix b/pkgs/development/libraries/theft/default.nix
index 00534413c7b..909df510dff 100644
--- a/pkgs/development/libraries/theft/default.nix
+++ b/pkgs/development/libraries/theft/default.nix
@@ -12,12 +12,10 @@ stdenv.mkDerivation rec {
   };
 
   preConfigure = "patchShebangs ./scripts/mk_bits_lut";
-  # doCheck = true;
+
+  doCheck = true;
+  checkTarget = "test";
   
-  propagatedBuildInputs = [ ];
-
-  buildInputs = [ ];
-
   installFlags = [ "PREFIX=$(out)" ];
   postInstall = ''
       install -m644 vendor/greatest.h $out/include/