From 510c7cdeee551b0eeeda27bbf91e1a11d50d97b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 3 Oct 2014 08:50:15 +0100
Subject: [PATCH] respect source mode indications.

---
 pl/consult.yap | 4 +++-
 pl/lists.yap   | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/pl/consult.yap b/pl/consult.yap
index 9384917fd..a7ae93b51 100644
--- a/pl/consult.yap
+++ b/pl/consult.yap
@@ -212,7 +212,9 @@ load_files(Files,Opts) :-
     '$nb_getval'('$qcompile', Current, Current = never).
 '$lf_option'(silent, 8, _).
 '$lf_option'(skip_unix_header, 9, false).
-'$lf_option'(compilation_mode, 10, source).
+'$lf_option'(compilation_mode, 10, compact) :-
+    '$access_yap_flags'(11,YF),
+    ( YF == 0 -> F = compact ; F = source ).
 '$lf_option'(consult, 11, reconsult).
 '$lf_option'(stream, 12, _).
 '$lf_option'(register, 13, true).
diff --git a/pl/lists.yap b/pl/lists.yap
index c0355878b..bf300e794 100644
--- a/pl/lists.yap
+++ b/pl/lists.yap
@@ -74,4 +74,5 @@ lists:delete([Head|List], Elem, Residue) :-
 lists:delete([Head|List], Elem, [Head|Residue]) :-
 	lists:delete(List, Elem, Residue).
 
+:- '$set_yap_flags'(11,0). % disable source.