From: Brett Gilio <brettg@posteo.net>
To: 38604@debbugs.gnu.org
Subject: [bug#38604] [WIP SWI-Prolog 3/3] gnu: Add swi-prolog.
Date: Fri, 13 Dec 2019 21:51:15 -0600 [thread overview]
Message-ID: <87a77v7efg.fsf@posteo.net> (raw)
In-Reply-To: <87immj7eig.fsf@posteo.net>
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog. --]
[-- Type: text/x-patch, Size: 2301 bytes --]
From 08bee0ab7c3c67c6d3095e35bb734243bc93b217 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
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
next prev parent reply other threads:[~2019-12-14 3:52 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-14 3:49 [bug#38604] [WIP SWI-Prolog 0/3] Add SWI-Prolog Brett Gilio
2019-12-14 3:50 ` [bug#38604] [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG Brett Gilio
2019-12-14 3:50 ` [bug#38604] [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk Brett Gilio
2019-12-14 3:51 ` Brett Gilio [this message]
2020-01-04 3:47 ` bug#38604: [WIP SWI-Prolog 3/3] gnu: Add swi-prolog Brett Gilio
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87a77v7efg.fsf@posteo.net \
--to=brettg@posteo.net \
--cc=38604@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.