From d4dd6ff7008639d9fe45baec40b587a483c2700e Mon Sep 17 00:00:00 2001
From: Tyson Whitehead <twhitehead@gmail.com>
Date: Thu, 18 Jan 2018 00:13:43 -0500
Subject: [PATCH] cryptominisat: Convert to new overlays system

---
 pkgs/all-packages.nix                       | 1 +
 cryptominisat.nix => pkgs/cryptominisat.nix | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)
 rename cryptominisat.nix => pkgs/cryptominisat.nix (87%)

diff --git a/pkgs/all-packages.nix b/pkgs/all-packages.nix
index 21840a2..f99127a 100644
--- a/pkgs/all-packages.nix
+++ b/pkgs/all-packages.nix
@@ -1,3 +1,4 @@
 self: pkgs: with pkgs; {
 
+  cryptominisat = callPackage ./cryptominisat.nix { };
 }
diff --git a/cryptominisat.nix b/pkgs/cryptominisat.nix
similarity index 87%
rename from cryptominisat.nix
rename to pkgs/cryptominisat.nix
index 571f8a2..267fa3b 100644
--- a/cryptominisat.nix
+++ b/pkgs/cryptominisat.nix
@@ -1,11 +1,11 @@
-with import <nixpkgs> {};
+{ stdenv, fetchurl, cmake, zlib, sqlite, boost, python27, vim }:
 
 stdenv.mkDerivation {
   name = "cryptominisat-4.5.3";
 
   src = fetchurl {
     url = https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz;
-    sha256 = "0k7blcphchn7pbandbar45zp2i3xrgcayiysv9lc6kbk4l7a4k8i"; 
+    sha256 = "0k7blcphchn7pbandbar45zp2i3xrgcayiysv9lc6kbk4l7a4k8i";
   };
 
   buildInputs = [