From 3f37f3909712eb7269b6e8184c0d61bfc61b67f9 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
Date: Fri, 13 Dec 2019 21:46:26 -0600
Subject: gnu: Add swi-prolog.

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

(limited to 'gnu/packages/prolog.scm')

diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 7c344988d5..20e6119731 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -67,3 +67,46 @@ (define-public gprolog
     (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:
-- 
cgit v1.2.3