verbosity cleanup -- not finished yet

CMakeLists.txt

@@ -129,6 +129,7 @@ else()
 endif()
 
 
+  option (WITH_CUDD "BDD CUDD package" ON)
 if (WITH_CUDD)
 #detect cudd setup, as it is shared between different installations.
 

pl/boot.yap

@@ -1383,11 +1383,9 @@ not(G) :-    \+ '$execute'(G).
 
 
 '$silent_bootstrap'(F) :-
-    yap_flag(verbose, _, silent),
-    yap_flag(verbose_load, _, silent),
+    yap_flag(verbose, Old, silent),
     bootstrap( F ),
-    yap_flag(verbose, _, normal),
-    yap_flag(verbose_load, _, normal),
+    yap_flag(verbose, _, Old),
     '$live'.
     
 

pl/consult.yap

@@ -260,7 +260,6 @@ load_files(Files,Opts) :-
 
 '$load_files'(Files, Opts, Call) :-
 	( '$nb_getval'('$lf_status', OldTOpts, fail), nonvar(OldTOpts) ->
-	  '$lf_opt'(silent, OldTOpts, OldVerbosity),
 	  '$lf_opt'(autoload, OldTOpts, OldAutoload)
 	;
 	   '$lf_option'(last_opt, LastOpt),

pl/messages.yap

@@ -884,13 +884,15 @@ stub to ensure everything os ok
 
 */
 
+prolog:print_message(Level, _Msg) :-
+	current_prolog_flag(verbose, silent),
+	Level \= error,
+	Level \= warning,
+	!.
 prolog:print_message(_, _Msg) :-
 	% first step at hook processi --ng
 	'$nb_getval'('$if_skip_mode',skip,fail),
 	!.
-prolog:print_message(informational, _Msg) :-
-	current_prolog_flag(verbose, silent),
-	!.
 prolog:print_message(banner, _Msg) :-
 	current_prolog_flag(verbose, silent),
 	!.