From patchwork Thu Nov 16 18:27:33 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 56520 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C4F1C27BBE9; Thu, 16 Nov 2023 18:30:20 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 98A9F27BBE2 for ; Thu, 16 Nov 2023 18:30:19 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r3h7t-0003Kn-6i; Thu, 16 Nov 2023 13:30:05 -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 1r3h7r-0003KX-6z for guix-patches@gnu.org; Thu, 16 Nov 2023 13:30:03 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r3h7q-0001pG-TK for guix-patches@gnu.org; Thu, 16 Nov 2023 13:30:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r3h7q-0002Pa-CJ for guix-patches@gnu.org; Thu, 16 Nov 2023 13:30:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67232] [PATCH] gnu: Add clingo-dl. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 16 Nov 2023 18:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 67232 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67232@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17001593459136 (code B ref -1); Thu, 16 Nov 2023 18:30:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 Nov 2023 18:29:05 +0000 Received: from localhost ([127.0.0.1]:44488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6v-0002NH-5V for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:05 -0500 Received: from lists.gnu.org ([2001:470:142::17]:58986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6q-0002Mi-M7 for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:04 -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 1r3h6j-0003EB-Cw for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r3h6e-0001Vu-BQ for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-32fbf271346so769234f8f.1 for ; Thu, 16 Nov 2023 10:28:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700159325; x=1700764125; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=FlBELx3Aw2KH/gNvm/Uy8RrBLqi8a9geB8FPdxz/uMWNaiAPOL03u1DOiNkA21VXsj tkaFxwxtpdsdusy7/B2LHp9+VmTcNN/2OixuO20POYqGcodBWlAw+6S9kMMGGvSvOqNI n0uO5uYstAaHGmAzhlokHUAP37gxKozTvxy564IlYxAXmS4IALzsJk7Pzao4uJSOHVsS b/BZFNxYuD4wHLAKhA7Qt/sci3k3bxDBze47RJ2uwtd8vJy64wgqoN8xlsdZxLqmrkRt 1AnuFDzLAfpkFvotgk6cLsv74p0CxM41gY1Uh41pJn7Qejsq6DoVGrA+bknBMXzLmU/c cbQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700159325; x=1700764125; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=kgrkE4Oz444hD3npl2OxZpRU60dsW70n0Wliv04gfMoiok15V4K1Pef/VcEQZOox0O PvjDL5EJ70fbZ59aOj1ySpf2m4fpDihaM0GR251yHxyckpuYBuPuhoTNplCjIvN7Xufg H2tJXjztsaWcHipMsBcxOH2FTKRNnZvJQoxeYR7wV4WctRGnpZBSilCXJTSCYVXc7gQa ncPZDTgjOkdmOatkkbR0IB/Y2pJbHLxRgOWGCOtkq5WH6mKiOwvnHqg6w5L4QGDJbXBX WJn5WdptM+fqqXsSnCxS3lIMxvsQiNdToRFirgoQA45J/yXvDCWOV8oGLIbDB2DfIgo9 T0Ew== X-Gm-Message-State: AOJu0YyHgaOtZsTHBR4jcg8iaVXvnEZfXLtIQM2elzg2tFW4ZiyWd4gC /1D1tkaY5+ZIgq7U/S3Ti+vuF5bVilhkJw== X-Google-Smtp-Source: AGHT+IGMnljYFs+NpTOfczu0TQ4ap3a7uVRV9/7Uu9giEvL6Qt0+7hhpDH/sxc0v8md4WdhwwE8rMA== X-Received: by 2002:a05:6000:1548:b0:32f:c5ea:72ac with SMTP id 8-20020a056000154800b0032fc5ea72acmr14503387wry.46.1700159324934; Thu, 16 Nov 2023 10:28:44 -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 f11-20020adfc98b000000b00327b5ca093dsm72242wrh.117.2023.11.16.10.28.43 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 Nov 2023 10:28:44 -0800 (PST) Message-ID: <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 16 Nov 2023 19:27:33 +0100 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x444.google.com X-Spam_score_int: 10 X-Spam_score: 1.0 X-Spam_bar: + X-Spam_report: (1.0 / 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, MALFORMED_FREEMAIL=3.096, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, T_SPF_TEMPERROR=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) base-commit: 23627b1706af25a0a30b96b9169a3495279aff1b diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-public clingo (description "Clingo computes answer sets for a given logic program.") (license license:expat))) +(define-public clingo-dl + (package + (name "clingo-dl") + (version "1.4.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-dl") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw")))) + (build-system cmake-build-system) + (arguments (list #:tests? #f ; no tests + #:configure-flags #~`("-DPYCLINGODL_ENABLE=off"))) + (inputs (list clingo)) + (home-page "https://github.com/potassco/clingo-dl") + (synopsis "Solver for answer set programs modulo difference constraints") + (description "Clingo-DL is an extension to Clingo that models constraints +over difference logic.") + (license license:expat))) + (define-public emacs-pasp-mode (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") (revision "1"))