From patchwork Sat Dec 14 03:50:46 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Brett Gilio X-Patchwork-Id: 16510 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 64EFA178CE; Sat, 14 Dec 2019 03:51:10 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 28C45178CA for ; Sat, 14 Dec 2019 03:51:10 +0000 (GMT) Received: from localhost ([::1]:55960 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyST-0003N0-Mg for patchwork@mira.cbaines.net; Fri, 13 Dec 2019 22:51:09 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49964) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifySN-0003Mp-V9 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:51:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ifySM-0001dM-Pl for guix-patches@gnu.org; Fri, 13 Dec 2019 22:51:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57083) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ifySM-0001cn-Ji for guix-patches@gnu.org; Fri, 13 Dec 2019 22:51:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ifySM-0005NL-Hw for guix-patches@gnu.org; Fri, 13 Dec 2019 22:51:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#38604] [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG. References: <87immj7eig.fsf@posteo.net> In-Reply-To: <87immj7eig.fsf@posteo.net> Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 14 Dec 2019 03:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38604 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38604@debbugs.gnu.org Received: via spool by 38604-submit@debbugs.gnu.org id=B38604.157629545620649 (code B ref 38604); Sat, 14 Dec 2019 03:51:02 +0000 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 Date: Fri, 13 Dec 2019 21:50:46 -0600 Message-ID: <87fthn7eg9.fsf@posteo.net> MIME-Version: 1.0 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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" X-getmail-retrieved-from-mailbox: Patches 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 patchwork Sat Dec 14 03:50:58 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Brett Gilio X-Patchwork-Id: 16512 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 4D240178CE; Sat, 14 Dec 2019 03:52:13 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id B9EE4178CA for ; Sat, 14 Dec 2019 03:52:12 +0000 (GMT) Received: from localhost ([::1]:55972 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyTU-0003Xb-80 for patchwork@mira.cbaines.net; Fri, 13 Dec 2019 22:52:12 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40075) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyTM-0003Vk-QS for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ifyTK-00045L-I2 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57092) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ifyTK-00044Y-Cv for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ifyTK-0005PX-Ay for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#38604] [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk References: <87immj7eig.fsf@posteo.net> In-Reply-To: <87immj7eig.fsf@posteo.net> Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 14 Dec 2019 03:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38604 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38604@debbugs.gnu.org Received: via spool by 38604-submit@debbugs.gnu.org id=B38604.157629547120717 (code B ref 38604); Sat, 14 Dec 2019 03:52:02 +0000 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 Date: Fri, 13 Dec 2019 21:50:58 -0600 Message-ID: <87d0cr7efx.fsf@posteo.net> MIME-Version: 1.0 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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" X-getmail-retrieved-from-mailbox: Patches 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 patchwork Sat Dec 14 03:51:15 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Brett Gilio X-Patchwork-Id: 16511 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 483CF178CE; Sat, 14 Dec 2019 03:52:11 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 08EE0178CA for ; Sat, 14 Dec 2019 03:52:11 +0000 (GMT) Received: from localhost ([::1]:55968 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyTS-0003Vz-JC for patchwork@mira.cbaines.net; Fri, 13 Dec 2019 22:52:10 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:39849) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyTM-0003Vj-6n for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ifyTK-000466-Ub for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57093) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ifyTK-00045l-QJ for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ifyTK-0005Pf-PJ for guix-patches@gnu.org; Fri, 13 Dec 2019 22:52:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#38604] [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. References: <87immj7eig.fsf@posteo.net> In-Reply-To: <87immj7eig.fsf@posteo.net> Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 14 Dec 2019 03:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38604 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38604@debbugs.gnu.org Received: via spool by 38604-submit@debbugs.gnu.org id=B38604.157629548520745 (code B ref 38604); Sat, 14 Dec 2019 03:52:02 +0000 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 Date: Fri, 13 Dec 2019 21:51:15 -0600 Message-ID: <87a77v7efg.fsf@posteo.net> MIME-Version: 1.0 Content-Disposition: inline; filename=0003-gnu-Add-swi-prolog.patch Content-Description: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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" X-getmail-retrieved-from-mailbox: Patches 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