From unknown Sat Aug 16 18:42:34 2025 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?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?= 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) From: iyzsong@envs.net 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 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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-Spam-Score: -1.4 (-) 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: -2.4 (--) From: 宋文武 * gnu/packages/prolog.scm (logtalk): New package. Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865 --- gnu/packages/prolog.scm | 45 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) 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)))) base-commit: 6f05c96f9635da7ca9f421d03a6359ff3b1d1a95 -- 2.41.0 From unknown Sat Aug 16 18:42:34 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: iyzsong@envs.net Subject: bug#69825: closed (Re: [bug#69825] [PATCH] gnu: Add logtalk.) Message-ID: References: <874jcxdwh2.fsf@envs.net> <1d9dcbe57e94340c6af54e9f9aa6b955039f1ea6.1710566026.git.iyzsong@member.fsf.org> X-Gnu-PR-Message: they-closed 69825 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 69825@debbugs.gnu.org Date: Sat, 23 Mar 2024 11:41:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1711194062-2186-1" This is a multi-part message in MIME format... ------------=_1711194062-2186-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69825: [PATCH] gnu: Add logtalk. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 69825@debbugs.gnu.org. --=20 69825: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69825 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1711194062-2186-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69825-done) by debbugs.gnu.org; 23 Mar 2024 11:40:18 +0000 Received: from localhost ([127.0.0.1]:49106 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnzjT-0000X4-HH for submit@debbugs.gnu.org; Sat, 23 Mar 2024 07:40:18 -0400 Received: from mail.envs.net ([5.199.136.28]:47196) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnzRx-0005O5-Iu for 69825-done@debbugs.gnu.org; Sat, 23 Mar 2024 07:22:10 -0400 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id CF50D38A09C4 for <69825-done@debbugs.gnu.org>; Sat, 23 Mar 2024 11:21:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1711192887; bh=TO8wKPwaBBk7lzltgALHkglA4ihYOD5SsqSTznhdqBI=; h=From:To:Subject:In-Reply-To:References:Date:From; b=ABFIkymt4GX3M7+b0wEiUDR2gHY7Mnp/Aytdj8RjUT3IjapkDpZbbFM7g/vpzLoA0 dRduHy1qGmBMi3cMpoFLvB9f28mhWzKrmmvmn80JhwXT1+5gDcN3couWMPhT3rRnnZ uxtGTOkzk/2anyKdAg8PCvoG/7j911XiRxdwwU7SBBrKBEVYRJ7coeZuNRHZ5BySDd G4fiWfgCEZUjVlILeWOhjbUBZs+e5YHNk6ZRXkFc+JAqQ992wBZD+qRCrXUJ7NbmG4 57z6SlpGUonXCWWWiTPrjVU1o3kkCr2eJQMVhinr80B9KmSxNkypR75qkyDWQ+6ue+ YeGWzLi4N+UUSp0w75RdeFpF00K5ZIpNtDUQBKMtmv++J8cEMpPs1j8x5vG1xhsdeQ WLA2+w0xPWB1Ef6s2QB6pCBl0sSN5KdMSnhN9irn3xw2XpUhKg1fjLQ+diKN/0ezuj GuqD2v3IRujjMsx2hicrCq33CM1PLHNoX2KeQiicUcNoI7v1mne5mDXJr4yX7WFnWx VEkMUNF1VsFmDmGqxYPgnPE5sE+ZvD6LKSe7vRjZpvBSoVEfTNo9LkZSoIesa4ZR2X 2NoyN63dZcs5GGCkDMQb+kb6HQlGq0xNasx8rQbd/HwWa9aRoPURQfF35IDAvIx8qp 4gGyBMe0HCACQIuxxQwnyw8k= 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 w9JqXm1cMxZx for <69825-done@debbugs.gnu.org>; Sat, 23 Mar 2024 11:21:25 +0000 (UTC) Received: from localhost (unknown [36.170.45.227]) (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 for <69825-done@debbugs.gnu.org>; Sat, 23 Mar 2024 11:21:25 +0000 (UTC) Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id 33b5f663 for <69825-done@debbugs.gnu.org>; Sat, 23 Mar 2024 11:22:01 +0000 (UTC) From: =?utf-8?B?5a6L5paH5q2m?= To: 69825-done@debbugs.gnu.org Subject: Re: [bug#69825] [PATCH] gnu: Add logtalk. In-Reply-To: <1d9dcbe57e94340c6af54e9f9aa6b955039f1ea6.1710566026.git.iyzsong@member.fsf.org> (iyzsong@envs.net's message of "Sat, 16 Mar 2024 13:14:37 +0800") References: <1d9dcbe57e94340c6af54e9f9aa6b955039f1ea6.1710566026.git.iyzsong@member.fsf.org> Date: Sat, 23 Mar 2024 19:22:01 +0800 Message-ID: <874jcxdwh2.fsf@envs.net> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69825-done 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: -1.0 (-) Pushed now. ------------=_1711194062-2186-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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) From: iyzsong@envs.net To: guix-patches@gnu.org Subject: [PATCH] gnu: Add logtalk. 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 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= 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: -2.4 (--) From: 宋文武 * gnu/packages/prolog.scm (logtalk): New package. Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865 --- gnu/packages/prolog.scm | 45 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) 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)))) base-commit: 6f05c96f9635da7ca9f421d03a6359ff3b1d1a95 -- 2.41.0 ------------=_1711194062-2186-1--