public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

clingo: fix build on non-sandboxed darwin

This commit is contained in:
Vincent Laporte 2018-03-12 17:07:18 +00:00
parent eedc173276
commit 903f4dd3d4
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/potassco/clingo.nix
View File

@ -13,6 +13,8 @@ stdenv.mkDerivation rec {
buildInputs = []; buildInputs = [];
nativeBuildInputs = [cmake]; nativeBuildInputs = [cmake];
cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ];
meta = { meta = {
inherit version; inherit version;
description = "ASP system to ground and solve logic programs"; description = "ASP system to ground and solve logic programs";