From 2dfb657b94fd4f0421447715a693acc39da09244 Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Sun, 14 Jun 2015 15:55:08 -0500
Subject: [PATCH] nixpkgs: picosat 936 -> 960, add myself as a maintainer

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 .../science/logic/picosat/default.nix         | 32 +++++++------------
 1 file changed, 12 insertions(+), 20 deletions(-)

diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix
index 6c2cce0ea4b..fb5acc64c4d 100644
--- a/pkgs/applications/science/logic/picosat/default.nix
+++ b/pkgs/applications/science/logic/picosat/default.nix
@@ -1,41 +1,33 @@
-{stdenv, fetchurl }:
-
-let
-  version = "936";
-  pname = "picosat";
-
-in
+{ stdenv, fetchurl }:
 
 stdenv.mkDerivation rec {
-  name = "${pname}-${version}";
+  name    = "picosat-${version}";
+  version = "960";
 
   src = fetchurl {
     url = "http://fmv.jku.at/picosat/${name}.tar.gz";
-    sha256 = "02hq68fmfjs085216wsj13ff6i1rhc652yscl16w9jzpfqzly91n";
+    sha256 = "05z8cfjk84mkna5ryqlq2jiksjifg3jhlgbijaq36sbn0i51iczd";
   };
 
   dontAddPrefix = true;
-
-  # configureFlags = "--shared"; the ./configure file is broken and doesn't accept this parameter :(
-  patchPhase = ''
-   sed -e 's/^shared=no/shared=yes/' -i configure
-  '';
+  configureFlags = "--shared";
 
   installPhase = ''
-   mkdir -p "$out"/bin
+   mkdir -p $out/bin $out/lib $out/include/picosat
    cp picomus "$out"/bin
    cp picosat "$out"/bin
-   mkdir -p "$out"/lib
+
    cp libpicosat.a "$out"/lib
    cp libpicosat.so "$out"/lib
-   mkdir -p "$out"/include/picosat
+
    cp picosat.h "$out"/include/picosat
   '';
 
   meta = {
-    homepage = http://fmv.jku.at/picosat/;
     description = "SAT solver with proof and core support";
-    license = stdenv.lib.licenses.mit;
-    maintainers = [ stdenv.lib.maintainers.roconnor ];
+    homepage    = http://fmv.jku.at/picosat/;
+    license     = stdenv.lib.licenses.mit;
+    platforms   = stdenv.lib.platforms.unix;
+    maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ];
   };
 }