diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix -p option to work with SYSTEM_MALLOC

Browse Source
This commit is contained in:
Vítor Santos Costa 2011-03-02 09:20:18 +00:00
parent cd287280b3
commit 6f1537475f
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pl/boot.yap
View File

@ -210,9 +210,7 @@ true :- true.
% first, recover what we need from the saved state... % first, recover what we need from the saved state...
% %
'$startup_saved_state' :- '$startup_saved_state' :-
get_value('$extend_file_search_path',P), P \= [], '$init_path_extensions',
set_value('$extend_file_search_path',[]),
'$extend_file_search_path'(P),
fail. fail.
% use if we come from a save_program and we have SWI's shlib % use if we come from a save_program and we have SWI's shlib
'$startup_saved_state' :- '$startup_saved_state' :-
@ -1081,6 +1079,8 @@ break :-
set_value('$lf_verbose',silent), set_value('$lf_verbose',silent),
set_stream(user_input,alias('$loop_stream')), set_stream(user_input,alias('$loop_stream')),
bootstrap(F), bootstrap(F),
% -p option must be processed after initializing the system
'$init_path_extensions',
set_value('$lf_verbose', OldSilent). set_value('$lf_verbose', OldSilent).
bootstrap(F) :- bootstrap(F) :-
@ -1115,6 +1115,12 @@ bootstrap(F) :-
close(Stream). close(Stream).
'$init_path_extensions' :-
get_value('$extend_file_search_path',P), !,
P \= [],
set_value('$extend_file_search_path',[]),
'$extend_file_search_path'(P).
'$init_path_extensions'.
'$loop'(Stream,Status) :- '$loop'(Stream,Status) :-
repeat, repeat,