export signal:wq

This commit is contained in:
Vitor Santos Costa 2011-02-03 11:26:46 +00:00
parent 4d7fd3ec8f
commit 6cccadb8cb

View File

@ -521,6 +521,7 @@ X_API int STD_PROTO(YAP_Erase,(void *));
X_API int STD_PROTO(YAP_Variant,(Term, Term)); X_API int STD_PROTO(YAP_Variant,(Term, Term));
X_API int STD_PROTO(YAP_ExactlyEqual,(Term, Term)); X_API int STD_PROTO(YAP_ExactlyEqual,(Term, Term));
X_API Int STD_PROTO(YAP_TermHash,(Term, Int, Int, int)); X_API Int STD_PROTO(YAP_TermHash,(Term, Int, Int, int));
X_API void STD_PROTO(YAP_signal,(int));
X_API int STD_PROTO(YAP_SetYAPFlag,(yap_flag_t, int)); X_API int STD_PROTO(YAP_SetYAPFlag,(yap_flag_t, int));
static int (*do_getf)(void); static int (*do_getf)(void);
@ -3246,6 +3247,12 @@ YAP_SlotsToArgs(int n, Int slot)
} }
} }
X_API void
YAP_signal(int sig)
{
Yap_signal(sig);
}
X_API int X_API int
YAP_SetYAPFlag(yap_flag_t flag, int val) YAP_SetYAPFlag(yap_flag_t flag, int val)