From 631dd7a4e974547b9ff483401e5256fa5aa3797e Mon Sep 17 00:00:00 2001
From: Dan Peebles <pumpkin@me.com>
Date: Sun, 8 Jul 2018 12:42:56 -0400
Subject: monosat: init at 1nx3wh34

Also includes the python and java bindings (although java is only
currently enabled on Linux)
---
 pkgs/top-level/python-packages.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'pkgs/top-level/python-packages.nix')

diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix
index 381ad48b0e71..0cbd5f0b468b 100644
--- a/pkgs/top-level/python-packages.nix
+++ b/pkgs/top-level/python-packages.nix
@@ -8283,6 +8283,8 @@ in {
     };
   };
 
+  monosat = disabledIf (!isPy3k) (pkgs.monosat.python { inherit buildPythonPackage; inherit (self) cython; });
+
   monotonic = buildPythonPackage rec {
     pname = "monotonic";
     version = "1.3";
-- 
cgit 1.4.1