/* Part of SWI-Prolog
Author: Jan Wielemaker
E-mail: J.Wielemaker@vu.nl
WWW: http://www.swi-prolog.org
Copyright (c) 2010-2019, University of Amsterdam
VU University Amsterdam
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in
the documentation and/or other materials provided with the
distribution.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
POSSIBILITY OF SUCH DAMAGE.
*/
/*
Preprocessor symbols that may be defined during the compilation
of this file:
#ifdef __WINDOWS__
This file (swipl-ld.c) is being compiled by a Windows compiler
(either MSC or gcc/MinGW). The resulting swipl-ld* executable
will thus run under Windows.
#endif
#ifdef HOST_TOOLCHAIN_MSC
The generated swipl-ld* executable will use the Microsoft C/C++
compiler to produce shared objects and executables.
#endif
#ifdef HOST_TOOLCHAIN_MINGW
The generated swipl-ld* executable will use the MinGW compilers
to produce shared objects and executables.
#endif
#ifdef HOST_OS_WINDOWS
The generated swipl-ld* executable will produce shared objects
and executable that will run under Windows.
#endif
*/
#ifndef __WINDOWS__
#if defined(_MSC_VER) || defined(__MINGW32__)
#define __WINDOWS__ 1
#endif
#endif
#define UNQUOTED_PREFIX "\1"
#include "config.h"
#include "parms.h"
#ifdef __WINDOWS__
#include <process.h>
#include <io.h>
#ifdef _MSC_VER
#define HOST_TOOLCHAIN_MSC
#define popen _popen
#define pclose _pclose
#pragma warning(disable : 4996) /* deprecate open() etc */
#if SIZEOF_VOIDP == 4
typedef long ssize_t;
#else
typedef long long ssize_t;
#endif
#define O_WRONLY _O_WRONLY
#define O_RDONLY _O_RDONLY
#define O_CREAT _O_CREAT
#define O_TRUNC _O_TRUNC
#define O_BINARY _O_BINARY
#else /*_MSC_VER*/
#define HOST_TOOLCHAIN_MINGW
#endif /*_MSC_VER*/
#define HOST_OS_WINDOWS 1
#define DEF_PROG_PL "swipl.exe"
#define PROG_OUT "a.exe"
#else
#define DEF_PROG_PL "swipl"
#define PROG_OUT "a.out"
#endif
#ifndef PROG_PL
#define PROG_PL DEF_PROG_PL
#endif
#if defined(HOST_TOOLCHAIN_MSC)
#define PROG_CC "cl.exe /MD"
#define PROG_CXX "cl.exe /MD /GX"
/* PROG_CPP is defined in config.h: we need to redefine it. */
#undef PROG_CPP
#define PROG_CPP "cl.exe -P"
#define PROG_LD "link.exe"
/* SO_LD is defined in config.h: we need to redefine it. */
#undef SO_LD
#define SO_LD "link.exe"
#define EXT_OBJ "obj"
#define LIB_PL_DEBUG "swiplD.lib"
#define OPT_DEBUG "/DEBUG"
#elif defined(HOST_TOOLCHAIN_MINGW)
#define PROG_CC "gcc.exe"
#define PROG_CXX "g++.exe"
#define PROG_LD PROG_CC
#define EXT_OBJ "obj"
#define OPT_DEBUG "-g"
#define SO_LDFLAGS "-shared"
#undef SO_LD
#define SO_LD PROG_LD
#else /*Native*/
#define PROG_CC C_CC
#ifdef C_CXX
#define PROG_CXX C_CXX
#else
#define PROG_CXX C_CC " -x c++"
#endif
/* PROG_CPP is defined in config.h */
#define PROG_LD C_CC
/* SO_LD is defined in config.h. */
#ifndef PROG_LD
#define PROG_LD C_CC
#endif
#ifndef SO_LD
#define SO_LD PROG_LD
#endif
#define EXT_OBJ "o"
#define OPT_DEBUG "-g"
#ifndef SO_LDFLAGS
#define SO_LDFLAGS "-shared"
#endif
#ifndef SO_pic
#define SO_pic "-fPIC"
#endif
#endif /*Toolchain selection*/
#include <stdio.h>
#include <stdlib.h>
#ifdef HAVE_MALLOC_H
#include <malloc.h>
#else
#ifdef HAVE_SYS_MALLOC_H
#include <sys/malloc.h>
#endif
#endif
#include <ctype.h>
#ifdef HAVE_UNISTD_H
#include <unistd.h>
#endif
#ifdef HAVE_SYS_TYPES_H
#include <sys/types.h>
#endif
#ifdef HAVE_SYS_STAT_H
#include <sys/stat.h>
#endif
#include <fcntl.h>
#include <errno.h>
#include <string.h>
#include <signal.h>
#ifndef TRUE
#define TRUE 1
#define FALSE 0
#endif
#ifndef O_BINARY
#define O_BINARY 0
#endif
#ifndef MAXPATHLEN
#define MAXPATHLEN 1024
#endif
#define CPBUFSIZE 8192
#ifndef streq
#define streq(s, q) (strcmp((s), (q)) == 0)
#endif
#define strprefix(s, p) (strncmp((s), (p), strlen(p)) == 0)
#if defined(__WINDOWS__)
#define strfeq(s, q) (stricmp((s), (q)) == 0)
#else
#define strfeq(s, q) streq(s, q)
#endif
#undef oserror /* Irix name-clash */
#define oserror xoserror
#undef strdup
#define strdup plld_strdup
#undef strndup
#define strndup plld_strndup
#ifdef DMALLOC
#undef xmalloc
#undef xrealloc
#undef xfree
#endif
#define xmalloc plld_xmalloc
#define xrealloc plld_xrealloc
#define xfree plld_xfree
#define CTOI(c) ((c)&0xff)
typedef struct
{ char **list;
int size;
} arglist;
/* prefix strings with ^A to signal */
/* it must be passed unquoted */
#define UNQUOTED UNQUOTED_PREFIX[0]
static arglist tmpfiles; /* list of temporary files */
static arglist ofiles; /* object files */
static arglist cfiles; /* C input files */
static arglist cppfiles; /* C++ input files */
static arglist plfiles; /* Prolog files */
static arglist qlfiles; /* Prolog Quick Load Files */
static arglist coptions; /* CC options */
static arglist cppoptions; /* C++ options */
static arglist ldoptions; /* LD options */
static arglist ploptions; /* PL options for saved state */
static arglist libs; /* (C) libraries */
static arglist lastlibs; /* libs that must be at the end */
static arglist libdirs; /* -L library directories */
static arglist includedirs; /* -I include directories */
static char *pllib; /* -lswipl, swipl.lib, ... */
static char *pllibs = ""; /* Requirements to link to pllib */
static char *pllibdir;
static char *pl; /* Prolog executable */
static char *cc; /* CC executable */
static char *cxx; /* C++ executable */
static char *ld; /* The Linker */
static char *plld; /* Thats me! */
static char *plbase; /* Prolog home */
static char *plarch; /* Prolog architecture id */
static char *plexe; /* Path to the executable */
static char *plgoal; /* -g goal */
static char *pltoplevel; /* -t goal */
static char *plinitfile; /* -f file */
static char *plclass; /* -class <class> */
static char *plsysinit; /* -F file */
static char *ctmp; /* base executable */
static char *pltmp; /* base saved state */
static char *out; /* final output */
static int opt_o=FALSE; /* -o out given */
static int opt_E=FALSE; /* -E given */
static int build_defaults = FALSE; /* don't ask Prolog for parameters*/
static int nostate = TRUE; /* do not make a state */
static int nolink = FALSE; /* do not link */
static int nolibswipl = FALSE; /* do not link with -lswipl */
static int shared = FALSE; /* -shared: make a shared-object/DLL */
static char *soext = SO_EXT; /* extension of shared object */
static int embed_shared = FALSE; /* -dll/-embed-shared: embed Prolog */
/* in a DLL/.so file */
static int verbose = TRUE; /* verbose operation */
static int fake = FALSE; /* don't really do anything */
static int show_version = FALSE; /* --version */
static void removeTempFiles();
static void parseOptions(int argc, char **argv);
static void linkSharedObject();
/*******************************
* ERROR *
*******************************/
static char *
oserror()
{
#ifdef HAVE_STRERROR
return strerror(errno);
#else
extern int sys_nerr;
extern char *sys_errlist[];
extern int errno;
if ( errno < sys_nerr )
return sys_errlist[errno];
return "Unknown error";
#endif
}
static int
error(int status)
{ removeTempFiles();
fprintf(stderr, "*** %s exit status %d\n", plld, status);
exit(status);
return 1; /* not reached */
}
static void
caught_signal(int sig)
{ error(sig);
}
/*******************************
* MALLOC *
*******************************/
static void
xfree(void *mem)
{ if ( mem )
free(mem);
}
void *
xmalloc(size_t bytes)
{ void *mem;
if ( !bytes )
return NULL;
if ( (mem = malloc(bytes)))
return mem;
fprintf(stderr, "%s: not enough memory\n", plld);
error(1);
return NULL;
}
void *
xrealloc(void *old, size_t bytes)
{ void *mem;
if ( !bytes )
{ xfree(old);
return NULL;
}
if ( !old )
{ if ( (mem = malloc(bytes)))
return mem;
} else
{ if ( (mem = realloc(old, bytes)))
return mem;
}
fprintf(stderr, "%s: not enough memory\n", plld);
error(1);
return NULL;
}
/*******************************
* TEXT MANIPULATION *
*******************************/
static char *
strdup(const char *in)
{ return strcpy(xmalloc(strlen(in)+1), in);
}
static char *
strndup(const char *in, size_t len)
{ char *r = xmalloc(len+1);
r[len] = '\0';
return memcpy(r, in, len);
}
void
appendArgList(arglist *list, const char *arg)
{ if ( arg[0] )
{ if ( list->size == 0 )
{ list->list = xmalloc(sizeof(char*) * (list->size+2));
} else
{ list->list = xrealloc(list->list, sizeof(char*) * (list->size+2));
}
list->list[list->size++] = strdup(arg);
list->list[list->size] = NULL;
}
}
void
prependArgList(arglist *list, const char *arg)
{ int n;
if ( list->size == 0 )
{ list->list = xmalloc(sizeof(char*) * (list->size+2));
} else
{ list->list = xrealloc(list->list, sizeof(char*) * (list->size+2));
}
for(n=++list->size; n>0; n--)
list->list[n] = list->list[n-1];
list->list[0] = strdup(arg);
}
void
concatArgList(arglist *to, const char *prefix, arglist *from)
{ int n;
for(n=0; n<from->size; n++)
{ char buf[1024];
buf[0] = UNQUOTED;
if ( strchr(from->list[n], ' ') )
sprintf(buf+1, "%s\"%s\"", prefix, from->list[n]);
else
sprintf(buf+1, "%s%s", prefix, from->list[n]);
appendArgList(to, buf);
}
}
static int
breakargs(const char *line, char **argv)
{ int argc = 0;
while(*line)
{ while(*line && isspace(CTOI(*line)))
line++;
if ( *line == '"' ) /* Windows-95 quoted arguments */
{ const char *start = line+1;
const char *end = start;
while( *end && *end != '"' )
end++;
if ( *end == '"' )
{ argv[argc++] = strndup(start, end-start);
line = end+1;
continue;
}
}
if ( *line )
{ const char *start = line;
while(*line && !isspace(CTOI(*line)))
line++;
argv[argc++] = strndup(start, line-start);
}
}
argv[argc] = NULL; /* add trailing NULL pointer to argv */
return argc;
}
void
addOptionString(const char *s)
{ char *argv[256];
int argc = breakargs(s, argv);
parseOptions(argc, argv);
}
void
appendOptions(arglist *args, const char *from)
{ int sep = *from++;
const char *f;
char tmp[1024];
while(*from)
{ f = from;
while(*from && *from != sep)
from++;
if ( from > f )
{ strncpy(tmp, f, from-f);
tmp[from-f] = '\0';
appendArgList(args, tmp);
}
if ( *from == sep )
from++;
}
}
void
ensureOption(arglist *args, const char *opt)
{ int n;
for(n=0; n<args->size; n++)
{ if ( streq(args->list[n], opt) )
return;
}
appendArgList(args, opt);
}
arglist *
copyArgList(arglist *in)
{ arglist *out = xmalloc(sizeof(arglist));
int n;
out->size = in->size;
out->list = xmalloc(sizeof(char *) * (in->size + 1));
for(n=0; n<in->size; n++)
out->list[n] = strdup(in->list[n]);
out->list[n] = NULL;
return out;
}
void
freeArgList(arglist *l)
{ int n;
for(n=0; n<l->size; n++)
xfree(l->list[n]);
xfree(l);
}
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
If the filename has an extension, replace it, otherwise add the given
extension.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
char *
replaceExtension(const char *base, const char *ext, char *buf)
{ char *e = NULL, *q = buf;
const char *s = base;
for( ; *s; s++, q++ )
{ *q = *s;
if ( *q == '.' )
e = q;
else if ( *q == '/' || *q == '\\' )
e = NULL;
}
*q = '\0';
if ( e )
{ e++;
} else
{ e = q; /* q points at '\0' */
*e++ = '.';
}
strcpy(e, ext);
return buf;
}
/*******************************
* OPTION DEFS *
*******************************/
typedef struct
{ char *extension;
arglist*list;
} extdef;
static extdef extdefs[] =
{ { EXT_OBJ, &ofiles },
#if defined(HOST_TOOLCHAIN_MSC)
{ "lib", &libs },
#else
{ "a", &libs },
#endif
{ "c", &cfiles },
{ "cpp", &cppfiles },
{ "cxx", &cppfiles },
{ "cc", &cppfiles },
#ifndef __WINDOWS__
{ "C", &cppfiles },
#endif
{ "pl", &plfiles },
{ "qlf", &qlfiles },
{ NULL, NULL }
};
const char *
file_name_extension(const char *in)
{ const char *ext = NULL;
for( ; *in; in++)
{ if ( *in == '.' )
ext = in+1;
else if ( *in == '/' || *in == '\\' )
ext = NULL;
}
return ext;
}
int
dispatchFile(const char *name)
{ const char *ext;
if ( (ext = file_name_extension(name)) )
{ extdef *d = extdefs;
for( ; d->extension; d++ )
{ if ( strfeq(d->extension, ext) )
{ if ( d->list == &plfiles || d->list == &qlfiles )
nostate = FALSE;
appendArgList(d->list, name);
return TRUE;
}
}
if ( soext && strfeq(soext, ext) )
{ if ( d->list == &plfiles || d->list == &qlfiles )
nostate = FALSE;
appendArgList(&libs, name);
return TRUE;
}
}
return FALSE;
}
/*******************************
* OPTION PARSING *
*******************************/
static void
usage()
{ fprintf(stderr,
"SWI-Prolog linker utility\n"
"swipl-ld comes with ABSOLUTELY NO WARRANTY. This is free software,\n"
"and you are welcome to redistribute it under certain conditions.\n"
"Please visit http://www.swi-prolog.org for details.\n\n"
"usage: %s -help\n"
" %s [options] inputfile ...\n"
" %s -shared -o out inputfile ...\n"
#if defined(HOST_OS_WINDOWS)
" %s -dll -o out inputfile ...\n"
#endif
"\n"
"options:\n"
" -o out define output file\n"
"\n"
" -v verbose\n"
" -f fake (do not run any commands)\n"
" -g Compile/link for debugging\n"
" --version for GCC: run gcc --version\n"
"\n"
" -pl prolog Prolog to use\n"
" -ld linker link editor to use\n"
" -cc compiler compiler for C source files\n"
" -c++ compiler compiler for C++ source files\n"
"\n"
" -c only compile C/C++ files, do not link\n"
" -S emit assembler, do not link\n"
" -E only run preprocessor, do not link\n"
" -build-defaults use default parameters, don't ask Prolog\n"
" -nostate just relink the kernel\n"
" -state add a Prolog saved state\n"
" -nolibswipl do not link with -lswipl\n"
" -shared create target for load_foreign_library/2\n"
" -embed-shared embed Prolog in a shared object/DLL\n"
#if defined(HOST_OS_WINDOWS)
" -dll synonym for -embed-shared\n"
#endif
" -fpic compile small position-independent code\n"
" -fPIC compile large position-independent code\n"
"\n"
" -pl-options,... Add options for Prolog\n"
" -ld-options,... Add options for linker\n"
" -cc-options,... Add options for C/C++-compiler\n"
" -F base Load swi(base.rc)"
"\n"
" -goal goal (Prolog) entry point\n"
" -toplevel goal (Prolog) abort toplevel goal\n"
" -initfile file (Prolog) profile file to load\n"
" -class class {runtime,kernel,development}\n"
"\n"
" -O* Optimization passed to compiler\n"
" -Wl,* Options passed to linker\n"
" -W* Warning options passed to compiler\n"
"\n"
" -Dmacro Define macro (C/C++)\n"
" -Umacro Undefine macro (C/C++)\n"
" -Iincludedir Include directory (C/C++)\n"
" -Llibdir Library directory (C/C++ link)\n"
" -llib library (C/C++)\n",
plld,
plld,
#if defined(HOST_OS_WINDOWS)
plld,
#endif
plld);
exit(1);
}
static void
parseOptions(int argc, char **argv)
{ for( ; argc > 0; argc--, argv++ )
{ char *opt = argv[0];
if ( dispatchFile(opt) )
continue;
if ( streq(opt, "-help") ) /* -help */
{ usage();
} else if ( streq(opt, "-v") ) /* -v */
{ verbose++;
} else if ( streq(opt, "--version") ) /* --version */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
show_version = TRUE;
} else if ( streq(opt, "-f") ) /* -f */
{ fake++;
} else if ( streq(opt, "-c") ) /* -c */
{ nolink++;
} else if ( streq(opt, "-S") ) /* -S */
{ nolink++;
appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( streq(opt, "-E") ) /* -E */
{ nolink++;
opt_E = TRUE;
appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( streq(opt, "-g") ) /* -g */
{ appendArgList(&coptions, OPT_DEBUG);
appendArgList(&cppoptions, OPT_DEBUG);
#if defined(HOST_TOOLCHAIN_MSC) /* MSVC DEBUG OPTIONS */
appendArgList(&coptions, "/ZI");
appendArgList(&coptions, "/Od");
appendArgList(&cppoptions, "/ZI");
appendArgList(&cppoptions, "/Od");
#endif
appendArgList(&ldoptions, OPT_DEBUG);
#ifdef LIB_PL_DEBUG
pllib = LIB_PL_DEBUG;
#endif
} else if ( strprefix(opt, "-pg") ) /* -pg* */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( streq(opt, "-g3") ) /* -g3 */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( strprefix(opt, "gdwarf-") ) /* -gdwarf-* */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( strprefix(opt, "-O") ) /* -O* */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( strprefix(opt, "-Wl,") ) /* -Wl,* */
{ appendArgList(&ldoptions, opt);
} else if ( strprefix(opt, "-W") ) /* -W* */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( streq(opt, "-build-defaults") ) /* -build-defaults */
{ build_defaults = TRUE;
} else if ( streq(opt, "-nostate") ) /* -nostate */
{ nostate = TRUE;
} else if ( streq(opt, "-state") ) /* -state */
{ nostate = FALSE;
} else if ( streq(opt, "-nolibswipl") ) /* -nolibswipl */
{ nolibswipl = TRUE;
} else if ( streq(opt, "-dll") || /* -dll */
streq(opt, "-embed-shared") ) /* -embed-shared */
{ embed_shared = TRUE;
#if defined(HOST_TOOLCHAIN_MSC)
appendArgList(&ldoptions, "/DLL");
#else
#ifdef SO_pic
appendArgList(&coptions, SO_pic);
appendArgList(&cppoptions, SO_pic);
#endif
#endif
} else if ( streq(opt, "-shared") ) /* -shared */
{ shared = TRUE;
nostate = TRUE;
#ifdef SO_pic
appendArgList(&coptions, SO_pic);
appendArgList(&cppoptions, SO_pic);
#endif
} else if ( streq(opt, "-SHARED") ) /* -SHARED */
{ shared = TRUE;
nostate = TRUE;
#ifdef SO_PIC
appendArgList(&coptions, SO_PIC);
appendArgList(&cppoptions, SO_PIC);
#else
#ifdef SO_pic
appendArgList(&coptions, SO_pic);
appendArgList(&cppoptions, SO_pic);
#endif
#endif
} else if ( streq(opt, "-fpic") ) /* -fpic */
{
#ifdef SO_pic
appendArgList(&coptions, SO_pic);
appendArgList(&cppoptions, SO_pic);
#endif
} else if ( streq(opt, "-fPIC") ) /* -fPIC */
{
#ifdef SO_PIC
appendArgList(&coptions, SO_PIC);
appendArgList(&cppoptions, SO_PIC);
#endif
} else if ( streq(opt, "-o") ) /* -o out */
{ if ( argc > 1 )
{ out = argv[1];
opt_o = TRUE;
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-goal") ) /* -goal goal */
{ if ( argc > 1 )
{ plgoal = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-toplevel") ) /* -toplevel goal */
{ if ( argc > 1 )
{ pltoplevel = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-initfile") ) /* -initfile goal */
{ if ( argc > 1 )
{ plinitfile = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-F") ) /* -F base */
{ if ( argc > 1 )
{ plsysinit = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-class") ) /* -class runtime,kernel,
development */
{ if ( argc > 1 )
{ plclass = argv[1];
if ( !streq(plclass, "runtime") &&
!streq(plclass, "kernel") &&
!streq(plclass, "development")
)
usage();
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-pl") ) /* -pl prolog */
{ if ( argc > 1 )
{ pl = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-cc") ) /* -cc compiler */
{ if ( argc > 1 )
{ cc = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-c++") ) /* -c++ compiler */
{ if ( argc > 1 )
{ cxx = argv[1];
argc--, argv++;
} else
usage();
} else if ( streq(opt, "-ld") ) /* -ld linker */
{ if ( argc > 1 )
{ ld = argv[1];
argc--, argv++;
} else
usage();
} else if ( strprefix(opt, "-cc-options") )
{ appendOptions(&coptions, opt+strlen("-cc-options"));
appendOptions(&cppoptions, opt+strlen("-cc-options"));
} else if ( strprefix(opt, "-ld-options") )
{ appendOptions(&ldoptions, opt+strlen("-ld-options"));
} else if ( strprefix(opt, "-pl-options") )
{ appendOptions(&ploptions, opt+strlen("-pl-options"));
} else if ( strprefix(opt, "-I") ) /* -I<include> */
{ appendArgList(&includedirs, &opt[2]);
} else if ( strprefix(opt, "-D") ) /* -D<def> */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( strprefix(opt, "-U") ) /* -U<def> */
{ appendArgList(&coptions, opt);
appendArgList(&cppoptions, opt);
} else if ( strprefix(opt, "-L") ) /* -L<libdir> */
{ appendArgList(&libdirs, &opt[2]);
} else if ( streq(opt, "-lccmalloc") ) /* -lccmalloc */
{ appendArgList(&lastlibs, opt);
} else if ( strprefix(opt, "-l") ) /* -l<lib> */
{ appendArgList(&libs, opt);
}
}
}
static void
defaultProgram(char **store, char *def)
{ if ( !*store )
*store = strdup(def);
}
static void
defaultPath(char **store, char *def)
{ if ( !*store )
{ char *s, *e;
s = strdup(def);
e = s + strlen(s);
while(e>s+1 && e[-1] == '/') /* strip terminating /'s */
e--;
*e = '\0';
*store = s;
}
}
static void
tmpPath(char **store, const char *base)
{ if ( !*store )
{ char tmp[MAXPATHLEN];
sprintf(tmp, "%s%d", base, (int)getpid());
*store = strdup(tmp);
}
}
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Setup the -L option as well as the runpath for the target executable.
FIXME: Can we get how to do this from cmake?
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
static void
setLibDir(const char *libdir)
{ pllibdir = strdup(libdir);
appendArgList(&libdirs, libdir);
#ifndef __WINDOWS__
char tmp[MAXPATHLEN+16];
#ifdef __APPLE__
snprintf(tmp, sizeof(tmp), "-Wl,-rpath,%s", libdir);
#else
snprintf(tmp, sizeof(tmp), "-Wl,-rpath=%s", libdir);
#endif
appendArgList(&ldoptions, tmp);
#endif
}
static void
fillDefaultOptions()
{ char tmp[1024];
char *defcxx = PROG_CXX;
defaultProgram(&cc, PROG_CC);
if ( streq(cc, "gcc") ) /* TBD: MINGW */
defcxx = "g++";
defaultProgram(&cxx, defcxx);
if ( !ld ) /* not specified */
{ ld = (shared ? SO_LD : PROG_LD);
if ( cppfiles.size > 0 && streq(ld, cc) )
ld = cxx;
}
#if defined(HOST_TOOLCHAIN_MSC)
if ( strcmp(LIB_PL_DEBUG,pllib) == 0 )
ensureOption(&coptions, "/MDd");
else ensureOption(&coptions, "/MD");
ensureOption(&coptions, "/D__WINDOWS__");
ensureOption(&coptions, "/nologo");
ensureOption(&ldoptions, "/nologo");
#endif
tmpPath(&ctmp, "ctmp-");
tmpPath(&pltmp, "pltmp-");
#if defined(__CYGWIN__)
/* Compile generates .exe files on Cygwin */
replaceExtension(ctmp, "exe", tmp);
free(ctmp);
ctmp = strdup(tmp);
#endif
#if defined(HOST_OS_WINDOWS)
/* Saved states have the .exe extension under Windows */
replaceExtension(pltmp, "exe", tmp);
free(pltmp);
pltmp = strdup(tmp);
#endif
if ( shared && !out && !nolink )
{ fprintf(stderr, "%s: \"-o out\" required for linking shared object\n", plld);
exit(1);
}
#if defined(HOST_OS_WINDOWS)
if ( out && !nolink )
{ replaceExtension(out, shared || embed_shared ? "dll" : "exe", tmp);
out = strdup(tmp);
}
#endif
defaultPath(&out, PROG_OUT);
defaultProgram(&plgoal, "version");
defaultProgram(&pltoplevel, "prolog");
defaultProgram(&plinitfile, "none");
defaultProgram(&plsysinit, "none");
if ( !pllibdir )
{
#ifdef __WINDOWS__
sprintf(tmp, "%s/lib", plbase);
#else
sprintf(tmp, "%s/lib/%s", plbase, plarch);
#endif
prependArgList(&libdirs, tmp);
}
sprintf(tmp, "%s/include", plbase);
prependArgList(&includedirs, tmp);
}
/*******************************
* PROLOG OPTIONS *
*******************************/
static void
getPrologOptions()
{ FILE *fd;
char cmd[512];
sprintf(cmd, "%s --dump-runtime-variables", pl);
if ( verbose )
printf("\teval `%s`\n", cmd);
if ( (fd = popen(cmd, "r")) )
{ char buf[1024];
while( fgets(buf, sizeof(buf), fd) )
{ char name[100];
char value[1024];
char *v;
if ( sscanf(buf, "%[^=]=%[^;\n]", name, value) == 2 )
{ v = value;
if ( *v == '"' )
{ char *e = ++v;
while(*e && *e != '"')
e++;
while(e>v && isspace(CTOI(e[-1])))
e--;
*e = '\0';
}
if ( streq(name, "CC") )
defaultProgram(&cc, v);
else if ( streq(name, "PLBASE") )
defaultPath(&plbase, v);
else if ( streq(name, "PLARCH") )
defaultPath(&plarch, v);
else if ( streq(name, "PLLIBS") ) /* Always required. */
pllibs = strdup(v);
else if ( streq(name, "PLLIBDIR") )
setLibDir(v);
else if ( streq(name, "PLLIB") )
defaultProgram(&pllib, v);
else if ( streq(name, "PLLDFLAGS") )
appendArgList(&ldoptions, v);
else if ( streq(name, "PLCFLAGS") )
{ appendArgList(&coptions, v);
appendArgList(&cppoptions, v);
}
else if ( streq(name, "PLSOEXT") )
soext = strdup(v);
else if ( streq(name, "PLTHREADS") && streq(v, "yes") )
{ ensureOption(&coptions, "-D_REENTRANT");
ensureOption(&cppoptions, "-D_REENTRANT");
#ifdef _THREAD_SAFE /* FreeBSD */
ensureOption(&coptions, "-D_THREAD_SAFE");
ensureOption(&cppoptions, "-D_THREAD_SAFE");
#endif
} else
continue;
if ( verbose )
fprintf(stderr, "\t\t%s=\"%s\"\n", name, v);
} else
{ fprintf(stderr, "Unparsed Prolog option: %s\n", buf);
}
}
pclose(fd);
#if defined(__WINDOWS__) && defined(HOST_OS_WINDOWS)
sprintf(buf, "%s/bin/%s", plbase, PROG_PL);
#else
sprintf(buf, "%s/bin/%s/%s", plbase, plarch, PROG_PL);
#endif
defaultPath(&plexe, buf);
} else
{ fprintf(stderr, "%s: failed to run %s: %s", plld, cmd, oserror());
error(1);
}
}
/*******************************
* CALLING *
*******************************/
char *
shell_quote(char *to, const char *arg)
{ static const char needq[] = "#!|<>*?$'\"";
const char *s;
int needquote = FALSE;
if ( arg[0] == UNQUOTED )
{ arg++; /* skip the not-quote marker */
} else
{ for(s=arg; *s; s++)
{ if ( strchr(needq, *s) )
{ needquote = TRUE;
break;
}
}
}
if ( needquote )
{ *to++ = '"';
for(s=arg; *s; s++)
{ if ( *s == '"'
#ifdef HOST_OS_WINDOWS /* $ is no special in Windows shell */
|| *s == '$' /* and % needs to appear around the var */
#endif
)
*to++ = '\\';
*to++ = *s;
}
*to++ = '"';
*to = '\0';
return to;
}
strcpy(to, arg);
return to+strlen(to);
}
static void
callprog(const char *ld, arglist *args)
{ char cmd[10240];
char *e = cmd;
int n, status;
strcpy(e, ld);
e = &e[strlen(e)];
for(n=0; n<args->size; n++)
{ *e++ = ' ';
e = shell_quote(e, args->list[n]);
}
if ( verbose )
printf("\t%s\n", cmd);
if ( !fake )
{ if ( (status=system(cmd)) != 0 )
{ fprintf(stderr, "%s returned code %d\n", ld, status);
error(1);
}
}
}
/*******************************
* PROCESSING *
*******************************/
static void
compileFile(const char *compiler, arglist *options, const char *cfile)
{ char ofile[MAXPATHLEN];
char *ext;
arglist *args = copyArgList(options);
if ( opt_o && nolink )
{ strcpy(ofile, out);
} else
{ strcpy(ofile, cfile);
if ( (ext = (char *)file_name_extension(ofile)) )
strcpy(ext, EXT_OBJ);
}
if ( !opt_E )
prependArgList(args, "-c");
#if defined(HOST_OS_WINDOWS)
appendArgList(args, "-D__WINDOWS__");
appendArgList(args, "-D_WINDOWS");
#endif
appendArgList(args, "-D__SWI_PROLOG__");
if ( !shared )
appendArgList(args, "-D__SWI_EMBEDDED__");
concatArgList(args, "-I", &includedirs);
if ( opt_o || !opt_E )
{ appendArgList(args, "-o");
appendArgList(args, ofile);
}
appendArgList(args, cfile);
callprog(compiler, args);
appendArgList(&ofiles, ofile);
if ( !nolink )
appendArgList(&tmpfiles, ofile);
freeArgList(args);
}
void
compileObjectFiles()
{ int n;
for(n=0; n<cfiles.size; n++)
compileFile(cc, &coptions, cfiles.list[n]);
for(n=0; n<cppfiles.size; n++)
compileFile(cxx, &cppoptions, cppfiles.list[n]);
}
#if defined(HOST_TOOLCHAIN_MSC)
char *
os_path(char *out, const char *in)
{ for(; *in; in++)
{ if ( *in == '/' )
*out++ = '\\';
else
*out++ = *in;
}
*out = '\0';
return out;
}
void
exportlibdirs()
{ char tmp[10240];
char *s, *e;
int n;
strcpy(tmp, "LIB=");
e = tmp + strlen(tmp);
for(n=0; n<libdirs.size; n++)
{ e = os_path(e, libdirs.list[n]);
*e++ = ';';
}
if ( (s = getenv("LIB")) )
strcpy(e, s);
if ( verbose )
printf("\t%s\n", tmp);
putenv(strdup(tmp));
}
#endif
void
linkBaseExecutable()
{ char *cout = out;
#if !defined(HOST_OS_WINDOWS) /* bit of a hack ... */
if ( embed_shared )
{ linkSharedObject();
return;
}
#endif
#if defined(HOST_TOOLCHAIN_MSC)
{ char tmp[MAXPATHLEN];
sprintf(tmp, "/out:%s", cout);
prependArgList(&ldoptions, tmp);
}
concatArgList(&ldoptions, "", &ofiles); /* object files */
exportlibdirs();
if ( !nolibswipl )
{ appendArgList(&ldoptions, pllib); /* -lswipl */
addOptionString(pllibs);
}
concatArgList(&ldoptions, "", &libs); /* libraries */
concatArgList(&ldoptions, "", &lastlibs); /* libraries */
#else /* !defined(HOST_TOOLCHAIN_MSC) */
prependArgList(&ldoptions, cout);
prependArgList(&ldoptions, "-o"); /* -o ctmp */
concatArgList(&ldoptions, "", &ofiles); /* object files */
concatArgList(&ldoptions, "-L", &libdirs); /* library directories */
if ( !nolibswipl )
{ appendArgList(&ldoptions, pllib); /* -lswipl */
addOptionString(pllibs);
}
concatArgList(&ldoptions, "", &libs); /* libraries */
concatArgList(&ldoptions, "", &lastlibs); /* libraries */
#endif /* !defined(HOST_TOOLCHAIN_MSC) */
if ( !nostate )
{
#if defined(HOST_TOOLCHAIN_MSC)
if ( !embed_shared )
{ char buf[MAXPATHLEN];
appendArgList(&tmpfiles, replaceExtension(cout, "exp", buf));
appendArgList(&tmpfiles, replaceExtension(cout, "lib", buf));
}
#endif
}
callprog(ld, &ldoptions);
}
void
linkSharedObject()
{ char soname[MAXPATHLEN];
char *soout;
if ( !soext )
soext = SO_EXT;
if ( file_name_extension(out) )
{ soout = out;
} else
{ soout = replaceExtension(out, soext, soname);
}
#if defined(HOST_TOOLCHAIN_MSC)
prependArgList(&ldoptions, "/dll");
{ char tmp[MAXPATHLEN];
sprintf(tmp, "/out:%s", soout);
prependArgList(&ldoptions, tmp);
}
concatArgList(&ldoptions, "", &ofiles); /* object files */
exportlibdirs();
if ( !nolibswipl )
{ appendArgList(&ldoptions, pllib); /* swipl.lib */
addOptionString(pllibs);
}
concatArgList(&ldoptions, "", &libs); /* libraries */
concatArgList(&ldoptions, "", &lastlibs); /* libraries */
#else /* !defined(HOST_TOOLCHAIN_MSC) */
#ifdef __CYGWIN__
prependArgList(&ldoptions, SO_LDFLAGS);
prependArgList(&ldoptions, soout);
prependArgList(&ldoptions, "-o"); /* -o ctmp */
concatArgList(&ldoptions, "", &ofiles); /* object files */
if ( !nolibswipl )
{ appendArgList(&ldoptions, pllib); /* -lswipl */
addOptionString(pllibs);
}
concatArgList(&ldoptions, "-L", &libdirs); /* library directories */
concatArgList(&ldoptions, "", &libs); /* libraries */
concatArgList(&ldoptions, "", &lastlibs); /* libraries */
#else /*__CYGWIN__*/
#ifdef SO_FORMAT_LDFLAGS /* must specify output too */
{ char tmp[MAXPATHLEN];
tmp[0] = UNQUOTED;
sprintf(&tmp[1], SO_FORMAT_LDFLAGS);
prependArgList(&ldoptions, tmp);
}
#else
prependArgList(&ldoptions, SO_LDFLAGS);
prependArgList(&ldoptions, soout);
prependArgList(&ldoptions, "-o"); /* -o ctmp */
#endif /*SO_FORMAT_LDFLAGS*/
concatArgList(&ldoptions, "", &ofiles); /* object files */
concatArgList(&ldoptions, "-L", &libdirs); /* library directories */
concatArgList(&ldoptions, "", &libs); /* libraries */
#ifdef O_SHARED_KERNEL
if ( !nolibswipl )
#endif
{ appendArgList(&ldoptions, pllib); /* -lswipl */
}
concatArgList(&ldoptions, "", &lastlibs); /* libraries */
#ifdef __BEOS__
appendArgList(&ldoptions, plexe); /* last is executable */
#endif
#endif /*__CYGWIN__*/
#endif /* !defined(HOST_TOOLCHAIN_MSC) */
callprog(ld, &ldoptions);
}
static void
quoted_name(const char *name, char *plname)
{ int needquote = TRUE;
if ( islower(CTOI(name[0])) )
{ const char *s = name+1;
for( ; *s && (isalnum(CTOI(*s)) || *s == '_'); s++)
;
if ( *s == '\0' )
needquote = FALSE;
}
if ( !needquote )
strcpy(plname, name);
else
{ char *o = plname;
*o++ = '\'';
for( ; *name; name++)
{ if ( *name == '\'' )
*o++ = *name;
*o++ = *name;
}
*o++ = '\'';
*o = '\0';
}
}
char *
put_pl_option(char *to, const char* name, const char *value)
{ strcpy(to, name);
to += strlen(to);
*to++ = '=';
quoted_name(value, to);
to += strlen(to);
return to;
}
void
createSavedState()
{ char buf[1024];
char *e;
int n;
strcpy(buf, "consult([");
e = buf + strlen(buf);
for(n=0; n<plfiles.size; n++)
{ if ( n > 0 )
*e++ = ',';
quoted_name(plfiles.list[n], e);
e += strlen(e);
}
for(n=0; n<qlfiles.size; n++)
{ if ( n > 0 )
*e++ = ',';
quoted_name(qlfiles.list[n], e);
e += strlen(e);
}
strcpy(e, "]),qsave_program(");
e += strlen(e);
quoted_name(pltmp, e);
e += strlen(e);
strcpy(e, ",[");
e += strlen(e);
e = put_pl_option(e, "goal", plgoal);
*e++ = ',';
e = put_pl_option(e, "toplevel", pltoplevel);
*e++ = ',';
e = put_pl_option(e, "init_file", plinitfile);
if ( plclass )
{ *e++ = ',';
e = put_pl_option(e, "class", plclass);
}
strcpy(e, "])");
e += strlen(e);
appendArgList(&ploptions, "-f");
appendArgList(&ploptions, "none");
appendArgList(&ploptions, "-F");
appendArgList(&ploptions, plsysinit);
appendArgList(&ploptions, "-g");
appendArgList(&ploptions, "true");
appendArgList(&ploptions, "-t");
appendArgList(&ploptions, buf);
appendArgList(&tmpfiles, pltmp);
callprog(pl, &ploptions);
}
static void
copy_fd(int i, int o)
{ char buf[CPBUFSIZE];
ssize_t n;
while( (n=read(i, buf, sizeof(buf))) > 0 )
{ while( n > 0 )
{ ssize_t n2;
if ( (n2 = write(o, buf, n)) > 0 )
{ n -= n2;
} else
{ fprintf(stderr, "%s: write failed: %s\n", plld, oserror());
error(1);
}
}
}
if ( n < 0 )
{ fprintf(stderr, "%s: read failed: %s\n", plld, oserror());
error(1);
}
}
#if defined(HOST_TOOLCHAIN_MSC)
void
saveExportLib()
{ char ibuf[MAXPATHLEN];
char obuf[MAXPATHLEN];
char *ilib, *olib;
ilib = replaceExtension(ctmp, "lib", ibuf);
olib = replaceExtension(out, "lib", obuf);
if ( verbose )
{ printf("\tren \"%s\" \"%s\"\n", ilib, olib);
}
if ( !fake )
{ if ( rename(ilib, olib) != 0 )
{ fprintf(stderr, "Could not rename export lib %s to %s: %s\n",
ilib, olib, oserror());
error(1);
}
}
}
#endif /* defined(HOST_TOOLCHAIN_MSC) */
void
createOutput()
{ int ifd, ofd = -1;
if ( verbose )
{
#if defined(HOST_TOOLCHAIN_MSC)
printf("\tcopy /b %s+%s %s\n", out, pltmp, out);
#else
printf("\tcat %s >> %s\n", pltmp, out);
#endif
}
if ( !fake )
{ if ( (ofd = open(out, O_WRONLY|O_BINARY, 0666)) < 0 )
{ fprintf(stderr, "Could not open %s: %s\n", out, oserror());
error(1);
}
if ( lseek(ofd, 0, SEEK_END) == (off_t)-1 )
{ fprintf(stderr, "Could not seek to end of %s: %s\n", out, oserror());
error(1);
}
if ( (ifd = open(pltmp, O_RDONLY|O_BINARY)) < 0 )
{ close(ofd);
remove(out);
fprintf(stderr, "Could not open %s: %s\n", pltmp, oserror());
error(1);
}
copy_fd(ifd, ofd);
close(ifd);
}
#ifdef HAVE_CHMOD
{ int mask = umask(0777);
umask(mask);
if ( verbose )
printf("\tchmod %03o %s\n", 0777 & ~mask, out);
if ( !fake )
{
#ifdef HAVE_FCHMOD
if ( fchmod(ofd, 0777 & ~mask) != 0 )
#else
if ( chmod(out, 0777 & ~mask) != 0 )
#endif
{ fprintf(stderr, "Could not make %s executable: %s\n", out, oserror());
error(1);
}
}
}
#endif
if ( !fake )
close(ofd);
}
static void
removeTempFiles()
{ int n;
for(n = 0; n < tmpfiles.size; n++)
{ if ( remove(tmpfiles.list[n]) == 0 )
{ if ( verbose )
printf("\trm %s\n", tmpfiles.list[n]);
}
}
}
/*******************************
* SIGNALS *
*******************************/
static void
catchSignals()
{ signal(SIGINT, caught_signal);
signal(SIGSEGV, caught_signal);
}
/*******************************
* MAIN *
*******************************/
int
main(int argc, char **argv)
{ int special;
plld = argv[0];
argc--;
argv++;
catchSignals();
if ( argc == 0 )
{ fprintf(stderr, "No input files. Use %s -help.\n", plld);
exit(0);
}
putenv("PLLD=true"); /* for subprograms */
verbose = FALSE;
if ( argc > 2 && streq(argv[0], "-pl") )
special = 2;
else
special = 0;
/* swipl-ld [-pl x] -v: verbose */
if ( argc-special == 1 && streq(argv[special], "-v") )
{ arglist coptions;
int i;
memset(&coptions, 0, sizeof(coptions));
for(i=special; i < argc; i++)
appendArgList(&coptions, argv[i]);
callprog(PROG_CC, &coptions);
return 0;
}
parseOptions(argc, argv);
defaultProgram(&pl, PROG_PL);
if ( build_defaults )
{ nostate = TRUE; /* not needed and Prolog won't run */
defaultProgram(&cc, C_CC);
#ifdef PLBASE
defaultPath(&plbase, PLBASE);
#else
defaultPath(&plbase, PLHOME);
#endif
defaultPath(&plarch, PLARCH);
defaultProgram(&pllib, C_PLLIB);
addOptionString(C_LIBS);
appendArgList(&ldoptions, C_LDFLAGS);
appendArgList(&coptions, C_CFLAGS);
appendArgList(&cppoptions, C_CFLAGS);
#ifdef SO_EXT
soext = strdup(SO_EXT);
#endif
#ifdef O_PLMT
ensureOption(&coptions, "-D_REENTRANT");
ensureOption(&cppoptions, "-D_REENTRANT");
#ifdef _THREAD_SAFE /* FreeBSD */
ensureOption(&coptions, "-D_THREAD_SAFE");
ensureOption(&cppoptions, "-D_THREAD_SAFE");
#endif
#endif
} else
{ getPrologOptions();
}
fillDefaultOptions();
if ( show_version )
{ callprog(cc, &coptions);
exit(0);
}
compileObjectFiles();
if ( !nolink )
{ if ( shared )
linkSharedObject();
else
{ linkBaseExecutable();
if ( !nostate )
{ createSavedState();
createOutput();
}
}
}
removeTempFiles();
return 0;
}