call ypp from the console
This commit is contained in:
parent
f9438806ee
commit
53a49bb3c3
@ -159,10 +159,6 @@ main (int argc, char **argv)
|
|||||||
}
|
}
|
||||||
/* Begin preprocessor code */
|
/* Begin preprocessor code */
|
||||||
if (BootMode != YAP_BOOT_FROM_SAVED_STACKS) {
|
if (BootMode != YAP_BOOT_FROM_SAVED_STACKS) {
|
||||||
// load the module
|
|
||||||
YAP_Term mod_arg[1];
|
|
||||||
mod_arg[0] = YAP_MkAtomTerm(YAP_LookupAtom("ypp"));
|
|
||||||
YAP_RunGoalOnce(YAP_MkApplTerm(YAP_MkFunctor(YAP_LookupAtom("use_module"),1), 1, mod_arg));
|
|
||||||
// process the definitions
|
// process the definitions
|
||||||
for(i=0;i<init_args.def_c;++i) {
|
for(i=0;i<init_args.def_c;++i) {
|
||||||
YAP_Term t_args[2],t_goal;
|
YAP_Term t_args[2],t_goal;
|
||||||
|
@ -169,6 +169,7 @@ version(yap,[6,3]).
|
|||||||
:- use_module('swi.yap').
|
:- use_module('swi.yap').
|
||||||
:- use_module('../swi/library/predopts.pl').
|
:- use_module('../swi/library/predopts.pl').
|
||||||
:- use_module('../swi/library/menu.pl').
|
:- use_module('../swi/library/menu.pl').
|
||||||
|
:- use_module('../library/ypp.yap').
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user