-# Strictly speaking I'm not sure this depends on JDK - JRE might be
sufficient, except that my sedit in PRE_BUILD guarentees we need javac anyway
-optional_depends JDK '' --without-jpl 'for jpl package' z-rejected &&
-optional_depends zlib '' --without-zlib 'for zlib package'
+optional_depends SSL \
+ -DSWIPL_PACKAGE_SSL={ON,OFF} \
+ 'for ssl package' &&
-# clib cpp table sgml/RDF semweb http chr clpqr nlp pldoc plunit have no
external deps
+# Strictly speaking I'm not sure this depends on JDK - JRE might be
sufficient
+optional_depends JDK \
+ -DSWIPL_PACKAGE_JAVA={ON,OFF} \
+ 'for jpl package' z-rejected
diff --git a/devel/swiprolog/DETAILS b/devel/swiprolog/DETAILS
index 0b04442..420ee82 100755
--- a/devel/swiprolog/DETAILS
+++ b/devel/swiprolog/DETAILS
@@ -1,9 +1,9 @@
SPELL=swiprolog
- VERSION=7.2.3
+ VERSION=8.0.3
SOURCE=swipl-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/swipl-$VERSION
SOURCE_URL[0]=http://www.swi-prolog.org/download/stable/src/${SOURCE}
-
SOURCE_HASH=sha512:da27a6b171d3b471401f1a91e86a4dbe98973d8a1db8c72aa27e452311d08b893b01a1de8f9f4dafcdac460774b4ea980050256d37284546941e1bdf84f8cd7b
+
SOURCE_HASH=sha512:e3a0788befb5499be6f70524ef398dc3282a38891f20519dd23ec92f216fc1919a76656e4b648c3dc9d94e578dc2663439ff976eb52ca0dba5a6594f8d4d3037
WEB_SITE=http://www.swi-prolog.org
ENTERED=20020601
LICENSE[0]=GPL
diff --git a/devel/swiprolog/HISTORY b/devel/swiprolog/HISTORY
index dff99f8..6ea1a61 100644
--- a/devel/swiprolog/HISTORY
+++ b/devel/swiprolog/HISTORY
@@ -1,3 +1,7 @@
+2019-08-07 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 8.0.3
+ * BUILD, DEPENDS, INSTALL, PRE_BUILD: now cmake-based
+
2016-10-19 Ismael Luceno <ismael AT sourcemage.org>
* DETAILS: updated spell to 7.2.3
diff --git a/devel/swiprolog/INSTALL b/devel/swiprolog/INSTALL
deleted file mode 100755
index 4533b48..0000000
--- a/devel/swiprolog/INSTALL
+++ /dev/null
@@ -1,3 +0,0 @@
-default_install &&
-cd packages &&
-default_install
diff --git a/devel/swiprolog/PRE_BUILD b/devel/swiprolog/PRE_BUILD
deleted file mode 100755
index fd24f4c..0000000
--- a/devel/swiprolog/PRE_BUILD
+++ /dev/null
@@ -1,7 +0,0 @@
-default_pre_build &&
-
-# the test-for-java-working autoconf macro doesn't check uudecode works as
it expects, and
-# as it so happens the uudecode package from uudeview DOESN'T work as the
macro expects.
-# There also seems to be other problems with the uudecode approach, see:
-# http://gollem.science.uva.nl/bugzilla/show_bug.cgi?id=314
-sedit 's/ac_cv_prog_uudecode_base64=yes/ac_cv_prog_uudecode_base64=no/'
"$SOURCE_DIRECTORY/packages/jpl/configure"
[SM-Commit] GIT changes to master grimoire by Ismael Luceno (d9508aa2925ba0d67a9ac405e0592a7a73e466c0),
Ismael Luceno, 08/07/2019