From 903f4dd3d45a519e41dac6f4f65b7de6005fdde5 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 12 Mar 2018 17:07:18 +0000
Subject: [PATCH] clingo: fix build on non-sandboxed darwin

---
 pkgs/applications/science/logic/potassco/clingo.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/applications/science/logic/potassco/clingo.nix b/pkgs/applications/science/logic/potassco/clingo.nix
index dda4963b26e9..6bf19a2a2f4d 100644
--- a/pkgs/applications/science/logic/potassco/clingo.nix
+++ b/pkgs/applications/science/logic/potassco/clingo.nix
@@ -13,6 +13,8 @@ stdenv.mkDerivation rec {
   buildInputs = [];
   nativeBuildInputs = [cmake];
 
+  cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ];
+
   meta = {
     inherit version;
     description = "ASP system to ground and solve logic programs";