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

bootstrap

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-06-17 17:32:15 +01:00
parent 19a265073f
commit ab135e8b74
3 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
console/yap.c
View File

@ -73,10 +73,12 @@ static void do_top_goal(YAP_Term Goal) { YAP_RunGoalOnce(Goal); }
static int init_standard_system(int argc, char *argv[], YAP_init_args *iap) { static int init_standard_system(int argc, char *argv[], YAP_init_args *iap) {
YAP_file_type_t BootMode = YAP_parse_yap_arguments(argc, argv, iap); YAP_file_type_t BootMode;
BootMode = YAP_parse_yap_arguments(argc, argv, iap);
/* init memory */ /* init memory */
iap->initial_file_type = iap->boot_file_type =
BootMode = YAP_Init(iap); BootMode = YAP_Init(iap);
if (iap->ErrorNo) { if (iap->ErrorNo) {
/* boot failed */ /* boot failed */
@ -93,7 +95,7 @@ static void exec_top_level(int BootMode, YAP_init_args *iap) {
/* continue executing from the frozen stacks */ /* continue executing from the frozen stacks */
YAP_ContinueGoal(); YAP_ContinueGoal();
} }
livegoal = YAP_FullLookupAtom("$live"); livegoal = YAP_FullLookupAtom("$live");
/* the top-level is now ready */ /* the top-level is now ready */
/* read it before case someone, that is, Ashwin, hides /* read it before case someone, that is, Ashwin, hides

2
include/YapErrors.h
View File

@ -1,5 +1,3 @@
/// ///
/// @file YapErrors.h /// @file YapErrors.h
/// ///

9
include/YapInterface.h
View File

@ -1920,10 +1920,11 @@ extern X_API int YAP_AssertTuples(YAP_PredEntryPtr pred, const YAP_Term *ts,
size_t offset, size_t sz); size_t offset, size_t sz);
/* int YAP_Init(YAP_init_args *) */ /* int YAP_Init(YAP_init_args *) */
extern X_API YAP_Int YAP_Init(YAP_init_args *); extern X_API YAP_file_type_t YAP_Init(YAP_init_args *);
/* int YAP_FastInit(const char *) */ /* int YAP_FastInit(const char *) */
extern X_API YAP_Int YAP_FastInit(char saved_state[]); extern X_API YAP_file_type_t YAP_FastInit(char saved_state[], int argc,
char *argv[]);
#ifndef _PL_STREAM_H #ifndef _PL_STREAM_H
// if we don't know what a stream is, just don't assume nothing about the // if we don't know what a stream is, just don't assume nothing about the
@ -2181,6 +2182,8 @@ extern X_API YAP_CELL *YAP_HeapStoreOpaqueTerm(YAP_Term t);
extern X_API int YAP_Argv(char ***); extern X_API int YAP_Argv(char ***);
extern X_API bool YAP_DelayInit(YAP_ModInit_t f, const char s[]);
extern X_API YAP_tag_t YAP_TagOfTerm(YAP_Term); extern X_API YAP_tag_t YAP_TagOfTerm(YAP_Term);
extern X_API size_t YAP_ExportTerm(YAP_Term, char *, size_t); extern X_API size_t YAP_ExportTerm(YAP_Term, char *, size_t);
@ -2213,7 +2216,7 @@ extern X_API int YAP_RequiresExtraStack(size_t);
* -P only in development versions * -P only in development versions
*/ */
extern X_API YAP_file_type_t YAP_parse_yap_arguments(int argc, char *argv[], extern X_API YAP_file_type_t YAP_parse_yap_arguments(int argc, char *argv[],
YAP_init_args *iap); YAP_init_args *iap);
extern X_API YAP_Int YAP_AtomToInt(YAP_Atom At); extern X_API YAP_Int YAP_AtomToInt(YAP_Atom At);