Require prolog 7.3.30 just to be sure ...

jrvosse · Nov 22, 2016 · 66122e3 · 66122e3
1 parent 077a000
commit 66122e3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -9,10 +9,9 @@ amalgame provides a web-based interactive platform for creating, analyzing and e
 ## Installation
 Amalgame is a web application build as a package in the ClioPatria semantic web server. To install, make sure you have:
 
-1. The latest development release of SWI Prolog, at least version 7.1.x. See http://www.swi-prolog.org/Download.html
+1. The latest development release of SWI Prolog, at least version 7.3.30. See http://www.swi-prolog.org/Download.html
 2. ClioPatria itself, see http://cliopatria.swi-prolog.org/help/Download.html
 3. Once you have your ClioPatria server up and running, just install amalgame as a cpack:
-
         :- cpack_install(amalgame).
 4. Done!
 

diff --git a/config-available/025-amalgame.pl b/config-available/025-amalgame.pl
@@ -4,8 +4,8 @@
 */
 
 :- current_prolog_flag(version, Version),
-   (   Version < 70117
-   ->  format('Warning: amalgame needs SWI-Prolog version 7.1.17 or higher~n', [])
+   (   Version < 70330
+   ->  format('Warning: amalgame needs SWI-Prolog version 7.3.30 or higher~n', [])
    ;   true
    ).