150 lines
2.7 KiB
C
150 lines
2.7 KiB
C
|
/*************************************************************************
|
||
|
|
* *
|
||
|
|
* YAP Prolog *
|
||
|
|
* *
|
||
|
|
* Yap Prolog was developed at NCCUP - Universidade do Porto *
|
||
|
|
* *
|
||
|
|
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-97 *
|
||
|
|
* *
|
||
|
|
**************************************************************************
|
||
|
|
* *
|
||
|
|
* File: Foreign.h *
|
||
|
|
* comments: header file for dynamic loading routines *
|
||
|
|
*************************************************************************/
|
||
|
|
|
||
|
|
#define NO_DYN 1
|
||
|
|
|
||
|
|
/* Currently load_foreign_files works for the following machines:
|
||
|
|
|
||
|
|
AIX: should work for 3.2 and 4.1 at least, using ECOFF;
|
||
|
|
linux: should work both for a.out (untested by me) and ELF;
|
||
|
|
osf: should work, but isn't working yet.
|
||
|
|
sunos4: should work, using A.OUT format;
|
||
|
|
svr4, eg solaris: should work, using ELF format;
|
||
|
|
|
||
|
|
YAP should be able to load on most BSD Unixes, but you will need to
|
||
|
|
say that here.
|
||
|
|
|
||
|
|
YAP also supports COFF loading (pretty much the same technique as
|
||
|
|
used for A.OUT loading) but that is untested so far.
|
||
|
|
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifdef _AIX
|
||
|
|
#undef NO_DYN
|
||
|
|
#endif /* __AIX */
|
||
|
|
|
||
|
|
#ifdef __linux__
|
||
|
|
#ifndef __LCC__
|
||
|
|
#undef NO_DYN
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
#endif /* __linux__ */
|
||
|
|
|
||
|
|
#ifdef __osf__
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef sgi
|
||
|
|
#undef NO_DYN
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef sparc
|
||
|
|
#undef NO_DYN
|
||
|
|
#ifndef __svr4__
|
||
|
|
#define A_OUT 1
|
||
|
|
#else
|
||
|
|
#ifdef SIMICS
|
||
|
|
#define NO_DYN 1
|
||
|
|
#else
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef __svr4__
|
||
|
|
#ifndef SIMICS
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef _WIN32
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#define LOAD_DLL 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef __ELF__
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#endif
|
||
|
|
#ifndef LOAD_DL
|
||
|
|
#define LOAD_DL 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef __NetBSD__
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#endif
|
||
|
|
#ifndef LOAD_DL
|
||
|
|
#define A_OUT 1
|
||
|
|
#endif
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef __hpux
|
||
|
|
#ifdef NO_DYN
|
||
|
|
#undef NO_DYN
|
||
|
|
#endif
|
||
|
|
#define LOAD_SHL 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
extern char YapExecutable[];
|
||
|
|
|
||
|
|
extern char LoadMsg[];
|
||
|
|
|
||
|
|
#define LOAD_SUCCEEDED 0
|
||
|
|
#define LOAD_FAILLED -1
|
||
|
|
|
||
|
|
typedef struct StringListItem {
|
||
|
|
char *s;
|
||
|
|
void *handle;
|
||
|
|
struct StringListItem *next;
|
||
|
|
} StringListItem, *StringList;
|
||
|
|
|
||
|
|
typedef struct ForeignLoadItem {
|
||
|
|
StringList objs;
|
||
|
|
StringList libs;
|
||
|
|
char *f;
|
||
|
|
int module;
|
||
|
|
struct ForeignLoadItem *next;
|
||
|
|
} ForeignObj;
|
||
|
|
|
||
|
|
typedef void (*YapInitProc)(void);
|
||
|
|
|
||
|
|
#ifndef STD_PROTO
|
||
|
|
#define STD_PROTO(F,A) F A
|
||
|
|
#endif
|
||
|
|
|
||
|
|
void STD_PROTO(YAPFindExecutable,(char *));
|
||
|
|
Int STD_PROTO(LoadForeign,(StringList, StringList, char *, YapInitProc *));
|
||
|
|
Int STD_PROTO(ReLoadForeign,(StringList, StringList, char *, YapInitProc *));
|
||
|
|
void STD_PROTO(ReOpenLoadForeign,(void));
|
||
|
|
void STD_PROTO(ShutdownLoadForeign,(void));
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|