From unknown Sun Jun 15 01:09:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68713] [PATCH 0/4] More clingo stuff. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 25 Jan 2024 10:28:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 68713 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68713@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17061784552728 (code B ref -1); Thu, 25 Jan 2024 10:28:01 +0000 Received: (at submit) by debbugs.gnu.org; 25 Jan 2024 10:27:35 +0000 Received: from localhost ([127.0.0.1]:47394 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rSwxL-0000hw-7E for submit@debbugs.gnu.org; Thu, 25 Jan 2024 05:27:35 -0500 Received: from lists.gnu.org ([2001:470:142::17]:51734) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rSwxK-0000hk-6X for submit@debbugs.gnu.org; Thu, 25 Jan 2024 05:27:34 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rSwx6-0005kW-O8 for guix-patches@gnu.org; Thu, 25 Jan 2024 05:27:21 -0500 Received: from mail-ej1-x644.google.com ([2a00:1450:4864:20::644]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rSwx3-0004N8-E6 for guix-patches@gnu.org; Thu, 25 Jan 2024 05:27:20 -0500 Received: by mail-ej1-x644.google.com with SMTP id a640c23a62f3a-a2f22bfb4e6so707909966b.0 for ; Thu, 25 Jan 2024 02:27:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706178436; x=1706783236; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=AHfXQ6dpz6VXkDTpzO/2ELaYjEefmogv+r7NihG5Eb8=; b=TjK/waEFPPcn6ysB4WSQ9abZNFcFJpGmNTqrJyWEa0BDcH8J3QCaqx9PVmYKrM9/PB hlanAbpAHldFTTXNqaz8MCYx0/GNXVtWr3upyABCfke6fAq/uBN3Cdia2q/oRAiQ1hOP jOAwXYG+flpYrEUBckRQTdv2Vue4JvbcwwKXk/VYhoRnco0xyCcc+VEoa/SG+VsTdXwl zA6sTzx5GW8FKC6ONDznAQu06IhXgxaEYUxPZfXQb5bzbSB/NdNtyi01uFezS85SVzSu GCv/lYtTovGrCV6aaZa/JXj1sjx21kbOci72O9JOb+R9Qru2WoQI1dXhJZ8ciB4YIZAr doqg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706178436; x=1706783236; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=AHfXQ6dpz6VXkDTpzO/2ELaYjEefmogv+r7NihG5Eb8=; b=o4I/sdzyEs1KpLhlPRee7XkXZhrukenEKuVD+ggEJ/A5GCUq6bEIbFEKvmZht7kau9 Dee1n7TtbVyYEE9paHB7z4Zq00Btcf07ETpUSBOp5OMSh2S2q4VmrtjbLCJNyxvTtCcx AWxn6tEi18SMS0ojTVdJGJX556HHqxUUuMGIJFof7HGGntOQLIhIYxEiV9ZR0g5HPBHh FGgmzDYtdRk5FowQksAQRG3MdzMsnIVmRCbrV0eVYPkUgT2EUwctLoSO7i7wBuXVtwx4 WsVDgqYcdEsfGyVJ+8uZ4HrRBRwHO1+AIhPnOE/Odp92q3ek9NhYWAtmJqTZAG17kq3S KU/A== X-Gm-Message-State: AOJu0YzMGEzY2MBD39KSZQlyxIYPLF8OO8vZkK1k5muZS1cOfu6M8Ns3 7+RRe/CgRSeMUcW7j9+A9TH/eMVdoGz9LNr0hHrb5RxTh1N7GC0LSf15IrU0KMc= X-Google-Smtp-Source: AGHT+IGJAzGYUYvfBfl/T7FW2GgKiJO5IrCMpD8oxs16yLJHegnJ1iilBi+MuhjPxEDGrfrBrz53UA== X-Received: by 2002:a17:906:3889:b0:a30:f149:153 with SMTP id q9-20020a170906388900b00a30f1490153mr561101ejd.22.1706178435718; Thu, 25 Jan 2024 02:27:15 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id cm2-20020a170907938200b00a2cc5199dd0sm872136ejc.135.2024.01.25.02.27.14 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 02:27:15 -0800 (PST) Message-ID: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 11:25:50 +0100 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::644; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x644.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Hi Guix, this series adds Lua bindings for clingo and some more python-based extensions. Cheers Liliana Marie Prikler (4): gnu: Add python-clingo-dl. gnu: python-clorm: Reindent with emacs. gnu: Add python-plingo. gnu: Add lua-clingo. gnu/packages/potassco.scm | 156 ++++++++++++++++++++++++++++++-------- 1 file changed, 126 insertions(+), 30 deletions(-) base-commit: 2266754382bce43789976aec65181cb5085c8bc4 -- 2.41.0 From unknown Sun Jun 15 01:09:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68713] [PATCH 1/4] gnu: Add python-clingo-dl. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 26 Jan 2024 05:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68713 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68713@debbugs.gnu.org Received: via spool by 68713-submit@debbugs.gnu.org id=B68713.17062464413820 (code B ref 68713); Fri, 26 Jan 2024 05:21:02 +0000 Received: (at 68713) by debbugs.gnu.org; 26 Jan 2024 05:20:41 +0000 Received: from localhost ([127.0.0.1]:49890 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEds-0000zV-5c for submit@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:40 -0500 Received: from mail-lf1-x144.google.com ([2a00:1450:4864:20::144]:49460) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEdp-0000z5-Sb for 68713@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:39 -0500 Received: by mail-lf1-x144.google.com with SMTP id 2adb3069b0e04-50ea9daac4cso8202644e87.3 for <68713@debbugs.gnu.org>; Thu, 25 Jan 2024 21:20:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706246425; x=1706851225; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=b4Lp71Uo4hld3FMSbdz67PN2vONEVdDfpOSHW4KpYPQ=; b=JV+ivWIIbsV4mssCtrcnqpVP/kBNGqul5TnZyPp55UthxWnGY0zEsmSr+C6NWToP4U MZfPwU3ewn6sFd2n7IERQlrVePyz7Ozm6ZFd7FUw5VUm+m1ivmGGi12ITzj6XvXZdLgU Lf1Vg5VlrtS4aRZUp2h2w6896+/gXZYpmPwxl6O+wfpzNpsIcAqY1WFNAopS+trj9Rni eBOnWYBxdsj2AkE5cjGQOfyAk6HR5d5QkDu1meMid5EQRQGKz6dFFwI+CqQKO+gK3MBv X8icLWptN0dNdvWdLjO37tTAN9JTfMfPggdr2LBEh4vKSpXHCW26pGs1D8QXlX1RbB8f jvNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706246425; x=1706851225; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=b4Lp71Uo4hld3FMSbdz67PN2vONEVdDfpOSHW4KpYPQ=; b=e3UVgS91jxc47Gzu7NiZPTY8SsoVY/7DN5iUq3Go1XXtQH4B9uuAqc8Kktjbxgm7bb qjEfmZwg0hvoI2AVUrmY+/Db1ucv4kFBCAk0soSI5I38ermUOCdr0u0C96gCEQ12Ij2n ITIv/NZkj+vNFHiV7qDJ2sLm8Dp5pbcPLftKKA5bc6GsLMvJZ4r8lVM2Rr5KcM4SDly1 BjKNXytvD8r3/dfjGemVdxFZjYbrMo8uSg5z5tLXdTvxKvWSaO7FJcORQZp+8x70IrsE jtlQ1BKtGqfUpqvpTBqn/Jf9IieLkdKd+uhflT8p7ksdKvfeSXpq8wJhfk0+amrPKWxI zr0w== X-Gm-Message-State: AOJu0YzWJqKC77xmMkXxLGr60+qEgaA5s55nfp315zDsf5g/hD+GHRwE HIwUFGOGbGFU9LgHV7x/aD8ktccCagNamAWA9GjM4PJuMTGIgmXp8c0U6JPzIwA= X-Google-Smtp-Source: AGHT+IGsGfdxHGQ4CIZr+WxRCInP+JX1X1NzuF4S+wJMBJYAtb86idh48F2rnG7Qjo8bBPSrtDiZSg== X-Received: by 2002:a19:645b:0:b0:50f:ff88:18cf with SMTP id b27-20020a19645b000000b0050fff8818cfmr397813lfj.5.1706246425061; Thu, 25 Jan 2024 21:20:25 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lc17-20020a170906dff100b00a345f532391sm218696ejc.79.2024.01.25.21.20.24 for <68713@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 21:20:24 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:42:06 +0100 MIME-Version: 1.0 X-Spam-Score: 0.8 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.2 (/) * gnu/packages/potassco.scm (python-clingo-dl): New variable. --- gnu/packages/potassco.scm | 36 +++++++++++++++++++++++++++++++++++- 1 file changed, 35 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index f2ee27db99..afc4c4d513 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2022, 2023 Liliana Marie Prikler +;;; Copyright © 2022–2024 Liliana Marie Prikler ;;; Copyright © 2023 Simon Tournier ;;; Copyright © 2023 David Elsing ;;; Copyright © 2024 Ricardo Wurmus @@ -370,6 +370,40 @@ (define-public python-clingo making it so that you can write @acronym{ASPs, Answer Set Programs} through Python code."))) +(define-public python-clingo-dl + (package + (inherit clingo-dl) + (name "python-clingo-dl") + (version (package-version clingo-dl)) + (arguments + (list + #:configure-flags #~'("-DPYCLINGODL_ENABLE=pip") + #:tests? #f + #:imported-modules `(,@%cmake-build-system-modules + (guix build python-build-system)) + #:modules '((guix build cmake-build-system) + ((guix build python-build-system) #:prefix python:) + (guix build utils)) + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-distinfo + (lambda* (#:key inputs outputs #:allow-other-keys) + (with-directory-excursion (python:site-packages inputs outputs) + (let ((dir (string-append "clingodl-" #$version ".dist-info"))) + (mkdir-p dir) + (call-with-output-file (string-append dir "/METADATA") + (lambda (port) + (format port "Metadata-Version: 1.1~%") + (format port "Name: clingodl~%") + (format port "Version: ~a~%" #$version)))))))))) + (inputs (modify-inputs (package-inputs clingo-dl) + (prepend python-wrapper))) + (propagated-inputs (list python-clingo python-cffi)) + (synopsis "Python bindings for clingo-dl") + (description "This package allows users to add the clingo-dl propagator +as a theory to clingo from Python code. It also supports running clingo-dl +directly from the python command line."))) + (define-public python-clorm (package (name "python-clorm") -- 2.41.0 From unknown Sun Jun 15 01:09:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68713] [PATCH 2/4] gnu: python-clorm: Reindent with emacs. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 26 Jan 2024 05:21:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68713 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68713@debbugs.gnu.org Received: via spool by 68713-submit@debbugs.gnu.org id=B68713.17062464413827 (code B ref 68713); Fri, 26 Jan 2024 05:21:03 +0000 Received: (at 68713) by debbugs.gnu.org; 26 Jan 2024 05:20:41 +0000 Received: from localhost ([127.0.0.1]:49892 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEds-0000zZ-SJ for submit@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:41 -0500 Received: from mail-lf1-x144.google.com ([2a00:1450:4864:20::144]:60773) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEdp-0000z6-W8 for 68713@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:39 -0500 Received: by mail-lf1-x144.google.com with SMTP id 2adb3069b0e04-50f11e3ba3aso11393885e87.1 for <68713@debbugs.gnu.org>; Thu, 25 Jan 2024 21:20:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706246426; x=1706851226; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=WHQPluHBd2Q3Xq2tluG6lkwl0/wxzENIkCvoGAemI1o=; b=Sr5mb9AJfch8lNq+Ny7eRWYH3ASin3Gj9NfkIMTGlWf2S3Z3biSw32/WcOY9hywUn6 QUsyKqsqx8buHjjE3bxy43XDS9ELY/Tx8ueNr9I+yRBr1uOh+VX0bS/Xc5GCS9xNSeBv 4uR0Chva3o/nBk18hIQMdz6C/7tm6/oewlB+ykOVo7VOdzF1JNSaxRVMkCw2dzYcIgvx 33TABOhGqKgBvaJ4r3DZnv0cxXNGIxMlPIz6HYRg0TBVg8o75sPx3b2MaEr0yy+PsvHj QxLprlyTycJxKq9C6JKeV6dYY6Abjkp//BXBxLDVpyMUjoOOqILnM4nd8uD3HzRkg3sC 1jqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706246426; x=1706851226; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=WHQPluHBd2Q3Xq2tluG6lkwl0/wxzENIkCvoGAemI1o=; b=AzwVotTAuvXCjdgP0pRtizd0EAIxiJ4lnVDxPvhCjZl5lzR+J2LibBS4vtQ2MSq6Wd rGBHSkyAAh+apTWfHs7UIOaS96YW3EwPSuyn0XkW1s770cn4Uq3g1uXUJcZ3Vx58VGc7 BtoVO7OwuvZwZNpRZHoWIL8Vn9BzaXt1Z5+A2392A+H5CZyIV5/S3YmlKgwmC0UHSpa4 R/GTCJ+0gDgiVK0CiJzWhW80a70hu7KXG9G5at6VpbzmjgJrygjrc4DJlBXrh0q7aIvj k+9wf2muAiHQEoR2rzYFhOtLsCK+CJsmAX2vg7itGXVKLkluOZ+GOrSh6aWxpb0DkUPz sl8g== X-Gm-Message-State: AOJu0Yyk7lKcTeMeDC0qTDbvEciYkrk1j+E8C3EjkHBxRyTvqRgcKykW jhGJzmjg3QQ+NooAy3Y8BFTjcTx+afObSgHkbel4aKyezw+1DTZ3LJ/6sY/E+ic= X-Google-Smtp-Source: AGHT+IH8x4EkWe829d9l9bCNMjPgfokrbJqTHR1ECa8pzcfDeLSdxqaMTk2BVo5ArOPfJuj4XNaISQ== X-Received: by 2002:a2e:968d:0:b0:2cc:eaf4:4f82 with SMTP id q13-20020a2e968d000000b002cceaf44f82mr687176lji.26.1706246425633; Thu, 25 Jan 2024 21:20:25 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lc17-20020a170906dff100b00a345f532391sm218696ejc.79.2024.01.25.21.20.25 for <68713@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 21:20:25 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:44:44 +0100 MIME-Version: 1.0 X-Spam-Score: 1.5 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clorm): Reindent with emacs. --- gnu/packages/potassco.scm | 58 +++++++++++++++++++ 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index afc4c4d513..0ec6253099 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -406,38 +406,38 @@ (define-pub [...] Content analysis details: (1.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: potassco.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: potassco.org] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:144 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.8 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 T_SCC_BODY_TEXT_LINE No description available. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.5 (/) * gnu/packages/potassco.scm (python-clorm): Reindent with emacs. --- gnu/packages/potassco.scm | 58 +++++++++++++++++++-------------------- 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index afc4c4d513..0ec6253099 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -406,38 +406,38 @@ (define-public python-clingo-dl (define-public python-clorm (package - (name "python-clorm") - (version "1.4.1") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/potassco/clorm") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) - (build-system pyproject-build-system) - (arguments - (list #:phases - #~(modify-phases %standard-phases - (add-before 'check 'fix-breaking-tests - (lambda _ - ;; noclingo tests rely on this being set - (setenv "CLORM_NOCLINGO" "1") - (delete-file "tests/test_mypy_query.py") - (substitute* "tests/test_clingo.py" - (("self\\.assertTrue\\(os_called\\)" all) - (string-append "# " all)))))))) - (propagated-inputs (list python-clingo)) - (native-inputs (list python-typing-extensions)) - (home-page "https://potassco.org") - (synopsis "Object relational mapping to clingo") - (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, + (name "python-clorm") + (version "1.4.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clorm") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) + (build-system pyproject-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-before 'check 'fix-breaking-tests + (lambda _ + ;; noclingo tests rely on this being set + (setenv "CLORM_NOCLINGO" "1") + (delete-file "tests/test_mypy_query.py") + (substitute* "tests/test_clingo.py" + (("self\\.assertTrue\\(os_called\\)" all) + (string-append "# " all)))))))) + (propagated-inputs (list python-clingo)) + (native-inputs (list python-typing-extensions)) + (home-page "https://potassco.org") + (synopsis "Object relational mapping to clingo") + (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, Object Relational Mapping} interface to the @acronym{ASP, answer set programming} solver clingo. Its goal is to make integration of clingo into Python programs easier.") - (license license:expat))) + (license license:expat))) (define-public python-telingo (package -- 2.41.0 From unknown Sun Jun 15 01:09:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68713] [PATCH 3/4] gnu: Add python-plingo. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 26 Jan 2024 05:21:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68713 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68713@debbugs.gnu.org Received: via spool by 68713-submit@debbugs.gnu.org id=B68713.17062464413834 (code B ref 68713); Fri, 26 Jan 2024 05:21:03 +0000 Received: (at 68713) by debbugs.gnu.org; 26 Jan 2024 05:20:41 +0000 Received: from localhost ([127.0.0.1]:49894 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEdt-0000zg-DI for submit@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:41 -0500 Received: from mail-ed1-x541.google.com ([2a00:1450:4864:20::541]:52732) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEdq-0000z8-Kk for 68713@debbugs.gnu.org; Fri, 26 Jan 2024 00:20:39 -0500 Received: by mail-ed1-x541.google.com with SMTP id 4fb4d7f45d1cf-55cca88b6a5so1980868a12.1 for <68713@debbugs.gnu.org>; Thu, 25 Jan 2024 21:20:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706246426; x=1706851226; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=dWohe1Cppb3tmU97J+Nf5Zrpa5aicjvatuyNzph0Aeo=; b=IvykJekq63TUHecXim292lE0nI1cZtQXN3oCwKud+RnDqm0DvjcIF8zXDLoHRyQWHX tN3gkNB+XPxPDiZfHXGJpOV5UBwTzkqnzrRY5WRcl0xcZCB9YhzpUUoH6DqsUO/IpmmB iNXRCQY1bOd/ZcIqfifsOxZ+oekSi5zcswAy9dtgKRZhd6KynbWXopdgHv62gAWDqs+u OVX6oU466Se8OGi1JtyWdfjuirLs2v+kkj7jbgcm+p70oLvR5rST5w2f7sHUWZi0yqwa DgOmm/6stCgAOV/10HWZCS4dXqhYOQOzF2JJsP35AP/UsNTQMCspyXYwqohlNg12JAbY ulmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706246426; x=1706851226; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=dWohe1Cppb3tmU97J+Nf5Zrpa5aicjvatuyNzph0Aeo=; b=EeQI/ofK8PDaXdllAiqs9NRqvs3/dlnxtdZrSGDzxCkhKrREYlla6hun5UblGtJSNL 3UoxfI0cjAZ9bZMIAHwBIUQoUFv9YK2FleKIjr2fXz5UXjWn6CYX5slcZ8BAi4GTBZD2 A1gXu92PLR0fqPB7x9dyQ8vuktMMk2DBHu6l6AYrcnUroIELO5b4zlhRRwkwjbWy6gAG 6ktN9UFPM9PDMwRT/h7B21ujz667JawvfhC8sDY38Cb25G/uUEablhpNq5H62MLEytco VeMZPlytK5PC3aKzCuwQHpoBjt21w+DdzNI5Hn602jTkSrJa7F6nkELJ3QN+g1eXGvf7 3c0w== X-Gm-Message-State: AOJu0YwholMNWGFJPBDAH7WRrmfHvDCNaSKLokYrL4+ev9N55+0iWrBN kawiBlEXTPvSfTUpv/I9m+K4U/jEsDxkc1cvvx2lhzIiSDE6a/DE4GonvQ21vl8= X-Google-Smtp-Source: AGHT+IGuoiEKqCuJZINHwojs8ttft8DpV1Bk6UGv71aRKcvVZKUPkfBvO4+7bAGqVNcI8Pax5ddCYg== X-Received: by 2002:a17:906:2f87:b0:a2e:556:f114 with SMTP id w7-20020a1709062f8700b00a2e0556f114mr301569eji.25.1706246426188; Thu, 25 Jan 2024 21:20:26 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lc17-20020a170906dff100b00a345f532391sm218696ejc.79.2024.01.25.21.20.25 for <68713@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 21:20:26 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:46:07 +0100 MIME-Version: 1.0 X-Spam-Score: 1.5 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-plingo): New variable. --- gnu/packages/potassco.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 0ec6253099..81d7cfa7e2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -439,6 +439,44 @@ (define-publ [...] Content analysis details: (1.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: potassco.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: potassco.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.8 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:541 listed in] [list.dnswl.org] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.5 (/) * gnu/packages/potassco.scm (python-plingo): New variable. --- gnu/packages/potassco.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 0ec6253099..81d7cfa7e2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -439,6 +439,44 @@ (define-public python-clorm into Python programs easier.") (license license:expat))) +(define-public python-plingo + (package + (name "python-plingo") + (version "1.0.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/plingo") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1mp0pdjzwpl7bpba20iwszx9x49gsyl2rhrp7w7xpwjqdjrp23r8")))) + (build-system pyproject-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-script + (lambda* (#:key outputs #:allow-other-keys) + (let ((script (string-append (assoc-ref outputs "out") + "/bin/plingo"))) + (mkdir-p (dirname script)) + (call-with-output-file script + (lambda (port) + (display "#!/usr/bin/env python\n" port) + (display "from plingo import main\n" port) + (display "main()\n" port))) + (chmod script #o755) + ;; XXX: Does this cross-compile? + (patch-shebang script))))))) + (propagated-inputs (list python-clingo)) + (home-page "https://potassco.org/") + (synopsis "Solve probabilistic logic programs") + (description "This package provides a system to solve probabilistic +logic programs with clingo. It can solve the reasoning tasks of finding +the most probable model as well as finding all models and their probabilities.") + (license license:expat))) + (define-public python-telingo (package (name "python-telingo") -- 2.41.0