02/02: gnu: Add swi-prolog.

[guix-commits]

brettgilio pushed a commit to branch master
in repository guix.

commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9
Author: Brett Gilio <address@hidden>
Date:   Fri Dec 13 21:46:26 2019 -0600

    gnu: Add swi-prolog.
    
    * gnu/packages/prolog.scm (swi-prolog): New variable.
---
 gnu/packages/prolog.scm | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)

diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 7c34498..20e6119 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -67,3 +67,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: