From patchwork Sat Mar 16 05:14:37 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: guix--- via Guix-patches via X-Patchwork-Id: 61865 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 E04C327BBEB; Sat, 16 Mar 2024 05:15:53 +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_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 9B65927BBE9 for ; Sat, 16 Mar 2024 05:15:52 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rlMOG-0004t8-77; Sat, 16 Mar 2024 01:15:28 -0400 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 1rlMOE-0004sG-H9 for guix-patches@gnu.org; Sat, 16 Mar 2024 01:15:26 -0400 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 1rlMOE-0003rh-6Q for guix-patches@gnu.org; Sat, 16 Mar 2024 01:15:26 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rlMOo-0005Yl-Hx for guix-patches@gnu.org; Sat, 16 Mar 2024 01:16:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69825] [PATCH] gnu: Add logtalk. Resent-From: iyzsong@envs.net Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 16 Mar 2024 05:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69825 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69825@debbugs.gnu.org Cc: =?utf-8?b?5a6L5paH5q2m?= X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171056610621297 (code B ref -1); Sat, 16 Mar 2024 05:16:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 Mar 2024 05:15:06 +0000 Received: from localhost ([127.0.0.1]:54727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlMNu-0005XR-5Y for submit@debbugs.gnu.org; Sat, 16 Mar 2024 01:15:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:32988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlMNs-0005XL-E1 for submit@debbugs.gnu.org; Sat, 16 Mar 2024 01:15:05 -0400 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 1rlMNG-0004nQ-Ln for guix-patches@gnu.org; Sat, 16 Mar 2024 01:14:26 -0400 Received: from mail.envs.net ([5.199.136.28]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rlMNE-0003fa-58 for guix-patches@gnu.org; Sat, 16 Mar 2024 01:14:26 -0400 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id 84F1038A0752; Sat, 16 Mar 2024 05:14:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1710566060; bh=4Jde+/vIxtKd2FkHmMezaLEKHzTESikRw8Qz2ded79c=; h=From:To:Cc:Subject:Date:From; b=M8o58ooPJ09u+cpJq8fzSjAqkvHRSANaS1jNKvTuONBA6gLaAKOk4mnjLT9mNRbTy Ut5oiwhJls3EUxWCQDQr7kI7hGYulNaCIPXHx0ERlQ5P1vAPbw1S9yz85cb7bJrHix ghWVGMChZMv5grXgUndXMkbGt5/sYEEJKVrzMV9aqe11UmjszZW3MZXIdPrV/KLxoW lVm/y9MJ9B9JffZFMAEvFdjEUlfdvuOA3/uKFj0zWlwzbuU6RDGPupzKElqucjzdDl h4jTUFWvYQVbZi5sRcGPLo07MlLha7ugg+frZxUU6LyEtsY9HeRYkl9KmyECdkQHkI 7vKJ6ajonvPSbrGn9MFZIQxdtizy8uF2QgLBhp65YgECovNgz0ecmyyuex7EwlqPrf 8MtOFbQIo+XPpAzSa+63F9WhLAHycKZ49sl3Y28TjQSgXM1XadHdmJFZmNNp4XNGKu hKz5AlQ1lWxvWVHNFm5+5LgaCNDmJUOuyJkvF6mgmjU9OF4A1LMXwVrgXcs8W/yXsm EjBCSGPC1XT0aQsMWJEO75AXuL0H+wBiYj4jlS9ZB0Ou7Ei/8D84kiwjQDXiHre99V anM31xhB5cuX3frLYIUYb42uzM+5SNeITPLbOeycqLJjOVjHp+/gz8xTpU35/0KJdL KPQCDDmHu5271rb+aIsN5IOs= X-Virus-Scanned: Debian amavisd-new at mail.envs.net Received: from mail.envs.net ([127.0.0.1]) by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id eN_OgG-Tz_5B; Sat, 16 Mar 2024 05:14:16 +0000 (UTC) Received: from localhost (unknown [36.170.45.218]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.envs.net (Postfix) with ESMTPSA; Sat, 16 Mar 2024 05:14:16 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id cf3b6f13; Sat, 16 Mar 2024 05:14:39 +0000 (UTC) Date: Sat, 16 Mar 2024 13:14:37 +0800 Message-ID: <1d9dcbe57e94340c6af54e9f9aa6b955039f1ea6.1710566026.git.iyzsong@member.fsf.org> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Received-SPF: pass client-ip=5.199.136.28; envelope-from=iyzsong@envs.net; helo=mail.envs.net 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, 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-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: , Reply-to: iyzsong@envs.net X-ACL-Warn: , iyzsong--- via Guix-patches X-Patchwork-Original-From: iyzsong--- via Guix-patches via From: guix--- via Guix-patches via 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 From: 宋文武 * gnu/packages/prolog.scm (logtalk): New package. Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865 --- gnu/packages/prolog.scm | 45 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) base-commit: 6f05c96f9635da7ca9f421d03a6359ff3b1d1a95 diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 0f2ad25a49..a969823374 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -171,3 +171,48 @@ (define-public swi-prolog small environment which enables substantial applications to be developed with it.") (license license:bsd-2))) + +(define-public logtalk + (package + (name "logtalk") + (version "3.75.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://logtalk.org/files/logtalk-" + version ".tar.bz2")) + (sha256 (base32 "0w35br03l307wk2fwh67rybqjgvjlwpy9j5r4c3pkrywd7lhrc54")))) + (build-system gnu-build-system) + (arguments + (list #:tests? #f ;no tests + #:phases + #~(modify-phases %standard-phases + (delete 'configure) ;no configure script and Makefile + (delete 'build) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (mkdir #$output) + (invoke "./scripts/install.sh" "-p" #$output)))))) + (native-search-paths + (list (search-path-specification + (variable "LOGTALKHOME") + (separator #f) ;single valued + (files '("share/logtalk"))))) + (home-page "https://logtalk.org/") + (synopsis "Object-oriented logic programming language") + (description "Logtalk is a declarative object-oriented logic programming language +that extends and leverages the Prolog language with a feature set suitable for +programming in the large. As a multi-paradigm language, Logtalk includes support for +both prototypes and classes, protocols (interfaces), categories (components and +hot-patching), event-driven programming, coinduction, lambda expressions, and +high-level multi-threading programming.") + ;; Most are under Apache License 2.0, some contributed libraries and ports are + ;; under other licenses. + (license (list license:asl2.0 + license:artistic2.0 + license:bsd-2 + license:bsd-3 + license:cc0 + license:expat + license:gpl2+ + license:osl2.1))))