BUG: SWIPL 7.1.0 Command Line Compilation Produces Unusable Executable

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