From mboxrd@z Thu Jan 1 00:00:00 1970 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 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-Message-ID: From: Brett Gilio 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. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38604@debbugs.gnu.org >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