diff --git a/pkgs/by-name/cl/clingo/package.nix b/pkgs/by-name/cl/clingo/package.nix index 28474d20c47f..af8d7f3372c8 100644 --- a/pkgs/by-name/cl/clingo/package.nix +++ b/pkgs/by-name/cl/clingo/package.nix @@ -3,6 +3,8 @@ stdenv, fetchFromGitHub, cmake, + withPython ? false, + python ? null, }: stdenv.mkDerivation (finalAttrs: { @@ -18,7 +20,26 @@ stdenv.mkDerivation (finalAttrs: { nativeBuildInputs = [ cmake ]; - cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ]; + cmakeFlags = + if withPython then + [ + "-DCLINGO_BUILD_WITH_PYTHON=ON" + "-DPYTHON_EXECUTABLE=${lib.getExe python.pythonOnBuildForHost}" + ] + else + [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ]; + + propagatedBuildInputs = lib.optionals withPython ( + with python.pkgs; + [ + python + cffi + ] + ); + + pythonImportsCheck = [ + "clingo" + ]; meta = { description = "ASP system to ground and solve logic programs"; diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index f22805eed7cc..cf71f63dfc80 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -2717,6 +2717,13 @@ self: super: with self; { clikit = callPackage ../development/python-modules/clikit { }; + clingo = toPythonModule ( + pkgs.clingo.override { + inherit python; + withPython = true; + } + ); + clint = callPackage ../development/python-modules/clint { }; clintermission = callPackage ../development/python-modules/clintermission { };