#include <stdio.h>
#include <windows.h>
#include <sys/types.h>
#include <sys/stat.h>
#include "wind2unix.h"
#include <errno.h>
#include <string.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "memory_xsb.h"
#include "error_xsb.h"
#include "inst_xsb.h"
#include "psc_xsb.h"
#include "string_xsb.h"
#include "extensions_xsb.h"
#include "xsb_config.h"
Defines | |
#define | BUFFEXTRA 1024 |
Functions | |
xsbBool | dummy () |
static char * | create_bin_dll_path (char *xsb_config_file_location, char *dll_file_name, int *dirlen) |
static byte * | load_obj_dyn (char *pofilename, Psc cur_mod, char *ld_option) |
Variables | |
char * | xsb_config_file_gl |
|
|
|
|
|
|
|
|
|
|