Revert "gnu: Add swi-prolog."

This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.

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