comparison var/dml/run.pl @ 33:f6dc7a0bb309

Changes to config.
author samer
date Sat, 21 Feb 2015 02:08:36 +0000
parents 246f0c73507a
children 06cb370e8aec
comparison
equal deleted inserted replaced
28:52a3e7d441c5 33:f6dc7a0bb309
37 file_search_path(cliopatria, '/home/dml/src/github/ClioPatria'). 37 file_search_path(cliopatria, '/home/dml/src/github/ClioPatria').
38 :- add_relative_search_path(cliopatria, '/home/dml/src/github/ClioPatria'). 38 :- add_relative_search_path(cliopatria, '/home/dml/src/github/ClioPatria').
39 39
40 % Make loading files silent. Comment if you want verbose loading. 40 % Make loading files silent. Comment if you want verbose loading.
41 41
42 :- current_prolog_flag(verbose, Verbose), 42 %:- current_prolog_flag(verbose, Verbose),
43 asserta(saved_verbose(Verbose)), 43 % asserta(saved_verbose(Verbose)),
44 set_prolog_flag(verbose, silent). 44 % set_prolog_flag(verbose, silent).
45 45
46 46
47 /******************************* 47 /*******************************
48 * LOAD CODE * 48 * LOAD CODE *
49 *******************************/ 49 *******************************/