Lean Prolog 4.5.7 or a later version is now required when using this …

…backend compiler
LogtalkDotOrg · Nov 10, 2015 · a33dde9 · a33dde9
1 parent 636a52c
commit a33dde9
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 16 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -65,7 +65,7 @@ Logtalk programming.
 Prolog adapter and integration files
 ------------------------------------
 
-* UPDATED: Lean Prolog 4.5.4 or a later version is now required when using
+* UPDATED: Lean Prolog 4.5.7 or a later version is now required when using
 this backend compiler.
 
 Tests

diff --git a/adapters/lean.pl b/adapters/lean.pl
@@ -1,7 +1,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %
-%  Adapter file for Lean Prolog 4.5.4 and later versions
-%  Last updated on November 6, 2015
+%  Adapter file for Lean Prolog 4.5.7 and later versions
+%  Last updated on November 10, 2015
 %
 %  This file is part of Logtalk <http://logtalk.org/>  
 %  Copyright 1998-2015 Paulo Moura <pmoura@logtalk.org>
@@ -297,7 +297,7 @@
 '$lgt_prolog_feature'(prolog_dialect, lean).
 '$lgt_prolog_feature'(prolog_version, (Major, Minor, Patch)) :-
 	current_prolog_flag(version_data, lprolog(Major, Minor, Patch, _)).
-'$lgt_prolog_feature'(prolog_compatible_version, '@>='((4, 5, 4))).
+'$lgt_prolog_feature'(prolog_compatible_version, '@>='((4, 5, 7))).
 '$lgt_prolog_feature'(prolog_conformance, lax).
 
 '$lgt_prolog_feature'(encoding_directive, source).

diff --git a/docs/library.html b/docs/library.html
@@ -86,6 +86,6 @@ <h1>Library documentation index</h1>
     <li><a href="varlist_0.html">varlist</a></li>
     <li><a href="varlistp_0.html">varlistp</a></li>
 </ul>
-<p>Generated on Sáb 31 Out 2015 18:23:39 WET</p>
+<p>Generated on Ter 10 Nov 2015 19:49:57 WET</p>
 </body>
 </html>
diff --git a/docs/os_0.html b/docs/os_0.html
@@ -23,11 +23,11 @@ <h1 class="code">os</h1>
           </dd>
           <dt class="key">version:</dt>
           <dd class="value">
-            <code>1.21</code>
+            <code>1.22</code>
           </dd>
           <dt class="key">date:</dt>
           <dd class="value">
-            <code>2015/10/31</code>
+            <code>2015/10/10</code>
           </dd>
         </dl>
         <dl class="properties">

diff --git a/library/os.lgt b/library/os.lgt
@@ -37,9 +37,9 @@
 	implements(osp)).
 
 	:- info([
-		version is 1.21,
+		version is 1.22,
 		author is 'Paulo Moura',
-		date is 2015/10/31,
+		date is 2015/10/10,
 		comment is 'Portable operating-system access predicates.'
 	]).
 
@@ -1075,11 +1075,7 @@
 
 		shell(Command, Status) :-
 			split_command(Command, List),
-			(	{getenv('COMSPEC', _)} ->
-				{system('.', List, _, Status)}
-			;	{getenv('SHELL', Shell)},
-				{system('.', [Shell, '-c'| List], _, Status)}
-			).
+			{system(List, Status)}.
 
 		shell(Command) :-
 			shell(Command, 0).

diff --git a/man/man1/lplgt.1 b/man/man1/lplgt.1
@@ -1,4 +1,4 @@
-.TH lplgt 1 "November 6, 2015" "Logtalk 3.02.1" "Logtalk Documentation"
+.TH lplgt 1 "November 10, 2015" "Logtalk 3.02.1" "Logtalk Documentation"
 
 .SH NAME
 lplgt \- Logtalk integration script for Lean Prolog
@@ -18,7 +18,7 @@ lplgt \- Logtalk integration script for Lean Prolog
 Initialization goal, written between double quotes, to be executed after Logtalk startup.
 
 .SH REQUIREMENTS
-Lean Prolog 4.5.4 or a later version is required. This integration script looks for a "lprolog" executable in the system path.
+Lean Prolog 4.5.7 or a later version is required. This integration script looks for a "lprolog" executable in the system path.
 
 .SH ENVIRONMENT
 .TP