From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 13 22:49:39 2019 Received: (at submit) by debbugs.gnu.org; 14 Dec 2019 03:49:39 +0000 Received: from localhost ([127.0.0.1]:34817 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifyR1-0005Jr-1b for submit@debbugs.gnu.org; Fri, 13 Dec 2019 22:49:39 -0500 Received: from lists.gnu.org ([209.51.188.17]:60235) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifyQx-0005Jh-R9 for submit@debbugs.gnu.org; Fri, 13 Dec 2019 22:49:38 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49957) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyQw-00031W-I1 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:49:35 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ifyQt-000649-Tx for guix-patches@gnu.org; Fri, 13 Dec 2019 22:49:34 -0500 Received: from mout01.posteo.de ([185.67.36.65]:36848) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ifyQt-0005zQ-IV for guix-patches@gnu.org; Fri, 13 Dec 2019 22:49:31 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 255A016005C for ; Sat, 14 Dec 2019 04:49:30 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1576295370; bh=ucvBOFzNrM6WTw95njq7juMlidw3zO+hGh+F+m8cJPY=; h=From:To:Subject:Date:From; b=dz1qm42gUhAN1L6XdeHn6WYsL+PD8IK88RJD9u9wzzZZtZCseEasHMe1G6DMzKefW DU2tEp9hzkMG/97wUxux9GTTRpHOPNy0mnemq8rAhWF2njo042p/cXEQR/lGbtjL+c YqsOXhENf3wY7kRuk5dDodkdl7Y9uBkytaOkylmImhidULxFzuiSUFJPnCckO+EI+3 ScUl9gNlvXtytFCk9e8NJ9iA8dfbqiNNZBDlUzlTy0j6ZgF9bam6BcHvgU2Zl48gqw VW4iX+hM/NfxSX7xkxwDo9IzY48sOg5p9EPvhf01y3n42j3mSDGG9WnhNoi/902RlS kL2HSug4Sguag== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47ZYSS3TdZz6tmD for ; Sat, 14 Dec 2019 04:49:27 +0100 (CET) From: Brett Gilio To: guix-patches@gnu.org Subject: [WIP SWI-Prolog 0/3] Add SWI-Prolog Date: Fri, 13 Dec 2019 21:49:27 -0600 Message-ID: <87immj7eig.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0000-cover-letter.patch Content-Description: [WIP SWI-Prolog 0/3] Add SWI-Prolog X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 185.67.36.65 X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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.3 (--) >From 08bee0ab7c3c67c6d3095e35bb734243bc93b217 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:47:11 -0600 Subject: [WIP SWI-Prolog 0/3] Add SWI-Prolog Just wanted to share my WIP on SWI-Prolog for anybody who wants to contribute, and so I can keep track of my own progress. Please send revision by re-rolling n+1. Brett Gilio (3): gnu: Rename module GPROLOG to PROLOG. gnu: Rename GPROLOG to PROLOG in local.mk gnu: Add swi-prolog. gnu/local.mk | 2 +- gnu/packages/gprolog.scm | 45 +++++++++++++++++++++++++++++++++++++++- 2 files changed, 45 insertions(+), 2 deletions(-) -- 2.24.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 13 22:50:56 2019 Received: (at 38604) by debbugs.gnu.org; 14 Dec 2019 03:50:56 +0000 Received: from localhost ([127.0.0.1]:34823 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySG-0005Mz-Al for submit@debbugs.gnu.org; Fri, 13 Dec 2019 22:50:56 -0500 Received: from mout02.posteo.de ([185.67.36.66]:52359) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySE-0005Mk-Nq for 38604@debbugs.gnu.org; Fri, 13 Dec 2019 22:50:55 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 35EA62400E6 for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:50:47 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1576295448; bh=c7DbthpSAThCXCvf/LD9QNKBxrRNYiiNRnOwnViojPo=; h=From:To:Subject:Date:From; b=p5gwoqekbyb7fTfgTKe9rcY5QN3/XGdMOlYL7BuQvzZ6CNHRCixTeuSdfmI0RX8Ab eryCDg6BsDH85KVHz/WHgPa9Qrpo5DGRXhJn1U6x9ykIzw2I4LVIYpXeVo2z1PYO2i 5A4yPyOrh4eeyyvhTwdo/LZX2Xgznbwg4ezzDIX04kZ5TeYueiXA+0PbHtuoa6Ehk8 v1HiTz6x+jn/QRqAPIlMGqXA1aRvHtGNaGfP5br2PDt+7PW4gnnS9Tzzbf8SGFPuTA zIKxSe0JkfVLPACIqorYk08vD0+xIqx165B+JCDR3lcd4LEq5tK2xfgk8wD/7+JH62 b6pR6VC9pZ6jQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47ZYTz0Gthz9rxV for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:50:46 +0100 (CET) From: Brett Gilio To: 38604@debbugs.gnu.org Subject: [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG. Date: Fri, 13 Dec 2019 21:50:46 -0600 Message-ID: <87fthn7eg9.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0001-gnu-Rename-module-GPROLOG-to-PROLOG.patch Content-Description: [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG. X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38604 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: -3.3 (---) >From 2af9f1ffd8afd69a13d6247f180cf9aa55fd7c17 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:44:54 -0600 Subject: [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG. * gnu/packages/gprolog.scm -> gnu/packages/prolog.scm. --- gnu/packages/gprolog.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index 166bf33294..5046c91a84 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -17,7 +17,7 @@ ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see . -(define-module (gnu packages gprolog) +(define-module (gnu packages prolog) #:use-module (guix download) #:use-module (guix licenses) #:use-module (guix packages) -- 2.24.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 13 22:51:11 2019 Received: (at 38604) by debbugs.gnu.org; 14 Dec 2019 03:51:11 +0000 Received: from localhost ([127.0.0.1]:34828 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySV-0005O5-Ii for submit@debbugs.gnu.org; Fri, 13 Dec 2019 22:51:11 -0500 Received: from mout02.posteo.de ([185.67.36.66]:41311) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySR-0005NJ-IY for 38604@debbugs.gnu.org; Fri, 13 Dec 2019 22:51:09 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id A28852400E6 for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:51:01 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1576295461; bh=7+uiOxnK0+Qo+Q2Ju6TdW0EIwQ0VS7N8uBgm4heiGjc=; h=From:To:Subject:Date:From; b=U92hUHGNbNwcof0zj0eHjesVVeXMczo+QrGuymAJNZtb4apMt8bZ5ElQrb+lyn7zI sQdSojn3UtW81VVN0ycJHREwKhzEpfrUmhaF1Vn3HaLRJ0OgtDK20FaEUxRQhThqHC 3LOu39Z/CJGuNxOrZpKFefin/3aoThcEREOX3YqDiq5jt69yABZEMGmMGpQcfFEdeX +6EQ2HM0QyIoUbe/LYuVUJr9TGY97uYOkq/C19QQkLO0BQOh/R6s0mLtymkWwxb6vO txRWsObWE0dnn5DgNcp/8ve84ZToNK+31Gq5+CNtr9uEif5LPZfOJggbHltIoujtHE E5TMg302g2U5Q== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47ZYVC6lC8z9rxT for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:50:58 +0100 (CET) From: Brett Gilio To: 38604@debbugs.gnu.org Subject: [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk Date: Fri, 13 Dec 2019 21:50:58 -0600 Message-ID: <87d0cr7efx.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0002-gnu-Rename-GPROLOG-to-PROLOG-in-local.mk.patch Content-Description: [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38604 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: -3.3 (---) >From 2b8e574008473ba81ed03ed519cb9798a8cd283d Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:45:37 -0600 Subject: [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk * gnu/local.mk (gprolog.scm): Rename to prolog.scm --- gnu/local.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/local.mk b/gnu/local.mk index 32b2c141fa..0aac1a58c2 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -227,7 +227,6 @@ GNU_SYSTEM_MODULES = \ %D%/packages/golang.scm \ %D%/packages/gperf.scm \ %D%/packages/gpodder.scm \ - %D%/packages/gprolog.scm \ %D%/packages/gps.scm \ %D%/packages/graph.scm \ %D%/packages/graphics.scm \ @@ -399,6 +398,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/popt.scm \ %D%/packages/printers.scm \ %D%/packages/profiling.scm \ + %D%/packages/prolog.scm \ %D%/packages/pth.scm \ %D%/packages/pulseaudio.scm \ %D%/packages/pumpio.scm \ -- 2.24.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 13 22:51:25 2019 Received: (at 38604) by debbugs.gnu.org; 14 Dec 2019 03:51:25 +0000 Received: from localhost ([127.0.0.1]:34832 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySi-0005OX-Td for submit@debbugs.gnu.org; Fri, 13 Dec 2019 22:51:25 -0500 Received: from mout02.posteo.de ([185.67.36.66]:37771) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ifySh-0005OI-6v for 38604@debbugs.gnu.org; Fri, 13 Dec 2019 22:51:23 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 76F3E2400E6 for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:51:17 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1576295477; bh=YhWXUcgLjNNwbWRSToXfEDVJvtm3fX64bxwRRj19MCQ=; h=From:To:Subject:Date:From; b=AYB9vJITgBNtOLpkf+2STdPXrZE4Q3tuOKKrCEsPMrPb18iF+ItKY4Isu93bOwsem 4Xc8eb2OJ9PFf3uNMgHJlbVDfrNq/WWdnxHw3/8OP9dGuSnVRikwl589mWfYZjNjj5 LP4qwMMZrlgRG7QtslBijWDmfGTiDTDFQ+r4+jL4rAPUw6zHVsSoOeNK0VOwCheeGM egoRYnBcmTaRgwZx/wgnARGsIoPNl+zubIpLOPyq35OnrxOLu6AyHvkrYA7D2yB1Ko Gsgi0Ci+2HbA+uyI+V2UcQLga832QUmphCP2n9ZGIgmorHhfYoMyCFCd9QfV0zAIXE xTCG46V/+Li0g== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47ZYVX3GjMz9rxV for <38604@debbugs.gnu.org>; Sat, 14 Dec 2019 04:51:16 +0100 (CET) From: Brett Gilio To: 38604@debbugs.gnu.org Subject: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. Date: Fri, 13 Dec 2019 21:51:15 -0600 Message-ID: <87a77v7efg.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0003-gnu-Add-swi-prolog.patch Content-Description: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38604 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: -3.3 (---) >From 08bee0ab7c3c67c6d3095e35bb734243bc93b217 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:46:26 -0600 Subject: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. * gnu/packages/gprolog.scm (swi-prolog): New variable. --- gnu/packages/gprolog.scm | 43 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index 5046c91a84..2f1fac2449 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -66,3 +66,46 @@ manner. It also features an interactive interpreter.") (supported-systems (fold delete %supported-systems '("armhf-linux" "mips64el-linux"))))) + +;; TODO: This current version of SWI-PROLOG using the +;; tarball from the official website is completely self-contained +;; such that all submodules are provided. Eventually replace this +;; and manually patch those submodules. +(define-public swi-prolog + (package + (name "swi-prolog") + (version "8.0.3") + (source + (origin + (method url-fetch) + (uri (string-append "https://www.swi-prolog.org/download/stable/src/swipl-" + version ".tar.gz")) + (sha256 + (base32 + "1bnnwbdxnifb1qj42prsqhx8y0k2z596wgvh4bbnd0bw8w59rrff")))) + (build-system cmake-build-system) + (arguments + `(#:parallel-build? #f + #:tests? #t)) ; FIXME: + ;#:configure-flags + ; (list "-DINSTALL_DOCUMENTATION=OFF"))) ; FIXME: + (native-inputs + `(("zlib" ,zlib) + ("gmp" ,gmp) + ("readline" ,readline) + ;("texlive" ,texlive) + ("texinfo" ,texinfo) + ("libunwind" ,libunwind) + ("libjpeg", libjpeg) + ("libxft" ,libxft) + ("fontconfig" ,fontconfig) + ("perl" ,perl) + ("pkg-config" ,pkg-config) + ("openssl" ,openssl))) + (home-page "https://www.swi-prolog.org/") + (synopsis "ISO/Edinburgh-style Prolog interpreter") + (description "SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog +compiler with a rich set of built-in predicates. It offers a fast, robust and +small environment which enables substantial applications to be developed with +it.") + (license #f))) ; TODO: -- 2.24.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 03 22:48:00 2020 Received: (at 38604-done) by debbugs.gnu.org; 4 Jan 2020 03:48:00 +0000 Received: from localhost ([127.0.0.1]:42315 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1inaPv-0008LM-RI for submit@debbugs.gnu.org; Fri, 03 Jan 2020 22:48:00 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56705) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1inaPu-0008L8-79 for 38604-done@debbugs.gnu.org; Fri, 03 Jan 2020 22:47:58 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:47010) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1inaPp-0002Vs-03; Fri, 03 Jan 2020 22:47:53 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=48400 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1inaPo-0005Ff-Gu; Fri, 03 Jan 2020 22:47:52 -0500 From: Brett Gilio To: Brett Gilio Subject: Re: [bug#38604] [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. References: <87immj7eig.fsf@posteo.net> <87a77v7efg.fsf@posteo.net> Date: Fri, 03 Jan 2020 21:47:58 -0600 In-Reply-To: <87a77v7efg.fsf@posteo.net> (Brett Gilio's message of "Fri, 13 Dec 2019 21:51:15 -0600") Message-ID: <87woa7zxu9.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38604-done Cc: 38604-done@debbugs.gnu.org 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: -3.3 (---) Added working package with commit 7eef98484c4eea2ce92fd53a86a001f006a78c16. Closing. -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] From unknown Wed Jun 25 03:53:31 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 01 Feb 2020 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator