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

use proper place for verbose flag.

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-11-04 13:02:18 +00:00
parent e07a60887b
commit 1d8f96fd74
2 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
H/pl-global.h
View File

@ -24,9 +24,29 @@ typedef struct _PL_thread_info_t
ldata_status_t ldata_status; /* status of forThreadLocalData() */
} PL_thread_info_t;
typedef struct
{ size_t localSize; /* size of local stack */
size_t globalSize; /* size of global stack */
size_t trailSize; /* size of trail stack */
char * goal; /* initial goal */
char * topLevel; /* toplevel goal */
char * initFile; /* -f initialisation file */
char * systemInitFile; /* -F initialisation file */
// opt_list *scriptFiles;
// opt_list *search_paths; /* -p path */
char * pldoc_server; /* --pldoc=Server */
char * compileOut; /* file to store compiler output */
char * saveclass; /* Type of saved state */
bool silent; /* -q: quiet operation */
#ifdef __WINDOWS__
bool win_app; /* --win_app: be Windows application */
#endif
} pl_options_t;
/* The GD global variable */
typedef struct {
pl_options_t options; /* command-line options */
int io_initialised;
cleanup_status cleaning; /* Inside PL_cleanup() */

2
os/pl-prologflag.c
View File

@ -1177,6 +1177,7 @@ initPrologFlags(void)
setPrologFlag("double_quotes", FT_ATOM, "codes");
#ifndef __YAP_PROLOG__
setPrologFlag("unknown", FT_ATOM, "error");
#endif
setPrologFlag("debug", FT_BOOL, FALSE, 0);
setPrologFlag("verbose", FT_ATOM|FF_KEEP, GD->options.silent ? "silent" : "normal");
setPrologFlag("verbose_load", FT_ATOM, "normal");
@ -1189,7 +1190,6 @@ initPrologFlags(void)
setPrologFlag("toplevel_prompt", FT_ATOM, "~m~d~l~! ?- ");
setPrologFlag("file_name_variables", FT_BOOL, FALSE, PLFLAG_FILEVARS);
setPrologFlag("fileerrors", FT_BOOL, TRUE, PLFLAG_FILEERRORS);
#endif
#ifdef __unix__
setPrologFlag("unix", FT_BOOL|FF_READONLY, TRUE, 0);
#endif