Re: BUG: SWIPL 7.1.0 Command Line Compilation Produces Unusable Executable

Fix confirmed. Thanks.

Jeff R.

 

 

 

-----Original Message-----
From: Jan Wielemaker <[email protected]>
To: Jeff Rosenwald <[email protected]>; J.Wielemaker <[email protected]>; swi-prolog <[email protected]>
Sent: Sun, Nov 24, 2013 11:24 am
Subject: Re: BUG: SWIPL 7.1.0 Command Line Compilation Produces Unusable Executable


Hi Jeff,

Oops.  Fixed.  It is now really time to write a test suite for this ...
This just happened a few times too many :-(

	Cheers --- Jan

On 11/24/2013 05:09 PM, Jeff Rosenwald wrote:
> Hi Jan:
> 
> DESCRIPTION:
>   Compiling SWIPL source to stand-alone executables via command line
> produces unusable artifacts.
> 
> SEVERITY:
>   CRITICAL
> 
> WORKAROUND:
>   None
> 
> 
> DISCUSSION:
> 
> Using this source in a file plbug.pl:
> 
> main :-
>     writeln('hello world'),
>     halt.
> 
> 
> When executed from the command line:
> 
> jeffr@jeffr-SX2803:~$ swipl -g 'main' -t 'halt(1)' --stand_alone=true -i
> plbug.pl && echo OK || echo FAIL
> % plbug.pl compiled 0.00 sec, 2 clauses
> hello world
> OK
> 
> When compiled into a binary executable:
> 
> jeffr@jeffr-SX2803:~$ swipl  -o plbug -g 'main' -t 'halt(1)'
> --stand_alone=true -c plbug.pl
> % plbug.pl compiled 0.00 sec, 2 clauses
> % autoloading prolog_codewalk:must_be/2 from
> /usr/local/lib/swipl-7.1.0/library/error
> % autoloading qsave:current_foreign_library/2 from
> /usr/local/lib/swipl-7.1.0/library/shlib
> % autoloading prolog_codewalk:portray_clause/1 from
> /usr/local/lib/swipl-7.1.0/library/listing
> % autoloading prolog_codewalk:clause_info/4 from
> /usr/local/lib/swipl-7.1.0/library/prolog_clause
> % autoloading prolog_codewalk:initialization_layout/4 from
> /usr/local/lib/swipl-7.1.0/library/prolog_clause
> % autoloading prolog_source:directory_file_path/3 from
> /usr/local/lib/swipl-7.1.0/library/filesex
> % autoloading files_ex:use_foreign_library/2 from
> /usr/local/lib/swipl-7.1.0/library/shlib
> % autoloading oset:reverse/2 from /usr/local/lib/swipl-7.1.0/library/lists
> % autoloading prolog_debug:backtrace/1 from
> /usr/local/lib/swipl-7.1.0/library/prolog_stack
> % autoloading record:member/2 from /usr/local/lib/swipl-7.1.0/library/lists
> % autoloading files_ex:maplist/2 from
> /usr/local/lib/swipl-7.1.0/library/apply
> % autoloading files_ex:permission_error/3 from
> /usr/local/lib/swipl-7.1.0/library/error
> % autoloading error:assertion/1 from
> /usr/local/lib/swipl-7.1.0/library/debug
> % autoloading prolog_codewalk:clause_name/2 from
> /usr/local/lib/swipl-7.1.0/library/prolog_clause
> % Autoloader: iteration 1 resolved 11 predicates and loaded 14 files in
> 0.090 seconds.  Restarting ...
> % Autoloader: loaded 11 files in 2 iterations in 0.123 seconds
> 
> 
> jeffr@jeffr-SX2803:~$ plbug && echo OK || echo FAIL
> ERROR: Prolog initialisation failed:
> ERROR: source_sink `goal' does not exist
> FAIL
> 
> Regards,
> Jeff R.

 
-------------- next part --------------
HTML attachment scrubbed and removed