*** empty log message ***
[bpt/guile.git] / libguile / dynl.c
dissimilarity index 88%
index 1e75800..443102a 100644 (file)
-/* dynl.c - dynamic linking
- *
- * Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999 Free Software Foundation, Inc.
- * 
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2, or (at your option)
- * any later version.
- * 
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- * 
- * You should have received a copy of the GNU General Public License
- * along with this software; see the file COPYING.  If not, write to
- * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
- * Boston, MA 02111-1307 USA
- *
- * As a special exception, the Free Software Foundation gives permission
- * for additional uses of the text contained in its release of GUILE.
- *
- * The exception is that, if you link the GUILE library with other files
- * to produce an executable, this does not by itself cause the
- * resulting executable to be covered by the GNU General Public License.
- * Your use of that executable is in no way restricted on account of
- * linking the GUILE library code into it.
- *
- * This exception does not however invalidate any other reasons why
- * the executable file might be covered by the GNU General Public License.
- *
- * This exception applies only to the code released by the
- * Free Software Foundation under the name GUILE.  If you copy
- * code from other Free Software Foundation releases into a copy of
- * GUILE, as the General Public License permits, the exception does
- * not apply to the code that you add in this way.  To avoid misleading
- * anyone as to the status of such modified files, you must delete
- * this exception notice from them.
- *
- * If you write modifications of your own for GUILE, it is your choice
- * whether to permit this exception to apply to your modifications.
- * If you do not wish that, delete this exception notice.  */
-
-/* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
-   gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
-
-
-/* "dynl.c" dynamically link&load object files.
-   Author: Aubrey Jaffer
-   Modified for libguile by Marius Vollmer */
-
-#if 0 /* Disabled until we know for sure that it isn't needed */
-/* XXX - This is only here to drag in a definition of __eprintf. This
-   is needed for proper operation of dynamic linking. The real
-   solution would probably be a shared libgcc. */
-
-#undef NDEBUG
-#include <assert.h>
-
-static void
-maybe_drag_in_eprintf ()
-{
-  assert (!maybe_drag_in_eprintf);
-}
-#endif
-
-#include <stdio.h>
-#include "_scm.h"
-#include "dynl.h"
-#include "genio.h"
-#include "smob.h"
-#include "keywords.h"
-
-#include "scm_validate.h"
-
-/* Converting a list of SCM strings into a argv-style array.  You must
-   have ints disabled for the whole lifetime of the created argv (from
-   before MAKE_ARGV_FROM_STRINGLIST until after
-   MUST_FREE_ARGV). Atleast this is was the documentation for
-   MAKARGVFROMSTRS says, it isn't really used that way.
-
-   This code probably belongs into strings.c */
-
-static char **
-scm_make_argv_from_stringlist (SCM args,int *argcp,const char *subr,int argn)
-{
-    char **argv;
-    int argc, i;
-
-    argc = scm_ilength(args);
-    argv = (char **) scm_must_malloc ((1L+argc)*sizeof(char *), subr);
-    for(i = 0; SCM_NNULLP (args); args = SCM_CDR (args), i++) {
-       size_t len;
-       char *dst, *src;
-       SCM str = SCM_CAR (args);
-
-       SCM_ASSERT (SCM_ROSTRINGP (str), str, argn, subr);
-       len = 1 + SCM_ROLENGTH (str);
-       dst = (char *) scm_must_malloc ((long)len, subr);
-       src = SCM_ROCHARS (str);
-       while (len--)
-           dst[len] = src[len];
-       argv[i] = dst;
-    }
-
-    if (argcp)
-       *argcp = argc;
-    argv[argc] = 0;
-    return argv;
-}
-
-static void
-scm_must_free_argv(char **argv)
-{
-    char **av = argv;
-    while (*av)
-      free(*(av++));
-    free(argv);
-}
-
-/* Coerce an arbitrary readonly-string into a zero-terminated string.
- */
-
-static SCM
-scm_coerce_rostring (SCM rostr,const char *subr,int argn)
-{
-    SCM_ASSERT (SCM_ROSTRINGP (rostr), rostr, argn, subr);
-    if (SCM_SUBSTRP (rostr))
-       rostr = scm_makfromstr (SCM_ROCHARS (rostr), SCM_ROLENGTH (rostr), 0);
-    return rostr;
-}
-
-/* Module registry
- */
-
-/* We can't use SCM objects here. One should be able to call
-   SCM_REGISTER_MODULE from a C++ constructor for a static
-   object. This happens before main and thus before libguile is
-   initialized. */
-
-struct moddata {
-    struct moddata *link;
-    char *module_name;
-    void *init_func;
-};
-
-static struct moddata *registered_mods = NULL;
-
-void
-scm_register_module_xxx (char *module_name, void *init_func)
-{
-    struct moddata *md;
-
-    /* XXX - should we (and can we) DEFER_INTS here? */
-
-    for (md = registered_mods; md; md = md->link)
-       if (!strcmp (md->module_name, module_name)) {
-           md->init_func = init_func;
-           return;
-       }
-
-    md = (struct moddata *)malloc (sizeof (struct moddata));
-    if (md == NULL) {
-       fprintf (stderr,
-                "guile: can't register module (%s): not enough memory",
-                module_name);
-       return;
-    }
-
-    md->module_name = module_name;
-    md->init_func = init_func;
-    md->link = registered_mods;
-    registered_mods = md;
-}
-
-SCM_DEFINE (scm_registered_modules, "c-registered-modules", 0, 0, 0, 
-            (),
-"Return a list of the object code modules that have been imported into
-the current Guile process.  Each element of the list is a pair whose
-car is the name of the module (as it might be used by
-@code{use-modules}, for instance), and whose cdr is the function handle
-for that module's initializer function.")
-#define FUNC_NAME s_scm_registered_modules
-{
-    SCM res;
-    struct moddata *md;
-
-    res = SCM_EOL;
-    for (md = registered_mods; md; md = md->link)
-       res = scm_cons (scm_cons (scm_makfrom0str (md->module_name),
-                                 scm_ulong2num ((unsigned long) md->init_func)),
-                       res);
-    return res;
-}
-#undef FUNC_NAME
-
-SCM_DEFINE (scm_clear_registered_modules, "c-clear-registered-modules", 0, 0, 0, 
-            (),
-"Destroy the list of modules registered with the current Guile process.
-The return value is unspecified.  @strong{Warning:} this function does
-not actually unlink or deallocate these modules, but only destroys the
-records of which modules have been loaded.  It should therefore be used
-only by module bookkeeping operations.")
-#define FUNC_NAME s_scm_clear_registered_modules
-{
-    struct moddata *md1, *md2;
-
-    SCM_DEFER_INTS;
-
-    for (md1 = registered_mods; md1; md1 = md2) {
-       md2 = md1->link;
-       free (md1);
-    }
-    registered_mods = NULL;
-
-    SCM_ALLOW_INTS;
-    return SCM_UNSPECIFIED;
-}
-#undef FUNC_NAME
-
-/* Dispatch to the system dependent files
- *
- * They define some static functions.  These functions are called with
- * deferred interrupts.  When they want to throw errors, they are
- * expected to insert a SCM_ALLOW_INTS before doing the throw.  It
- * might work to throw an error while interrupts are deferred (because
- * they will be unconditionally allowed the next time a SCM_ALLOW_INTS
- * is executed, SCM_DEFER_INTS and SCM_ALLOW_INTS do not nest).
- */
-
-#define DYNL_GLOBAL 0x0001
-
-#ifdef DYNAMIC_LINKING
-
-#include <ltdl.h>
-
-static void *
-sysdep_dynl_link (const char *fname, int flags, const char *subr)
-{
-  lt_dlhandle handle = lt_dlopenext (fname);
-  if (NULL == handle)
-    {
-      SCM_ALLOW_INTS;
-      scm_misc_error (subr, (char *)lt_dlerror (), SCM_EOL);
-    }
-  return (void *) handle;
-}
-
-static void
-sysdep_dynl_unlink (void *handle, const char *subr)
-{
-  if (lt_dlclose ((lt_dlhandle) handle))
-    {
-      SCM_ALLOW_INTS;
-      scm_misc_error (subr, (char *)lt_dlerror (), SCM_EOL);
-    }
-}
-   
-static void *
-sysdep_dynl_func (const char *symb, void *handle, const char *subr)
-{
-  void *fptr;
-
-  fptr = lt_dlsym ((lt_dlhandle) handle, symb);
-  if (!fptr)
-    {
-      SCM_ALLOW_INTS;
-      scm_misc_error (subr, (char *)lt_dlerror (), SCM_EOL);
-    }
-  return fptr;
-}
-
-static void
-sysdep_dynl_init ()
-{
-  lt_dlinit ();
-}
-
-#else
-
-/* no dynamic linking available, throw errors. */
-
-static void
-sysdep_dynl_init (void)
-{
-}
-
-static void
-no_dynl_error (const char *subr)
-{
-  SCM_ALLOW_INTS;
-  scm_misc_error (subr, "dynamic linking not available", SCM_EOL);
-}
-    
-static void *
-sysdep_dynl_link (const char *filename,
-                 int flags,
-                 const char *subr)
-{
-    no_dynl_error (subr);
-    return NULL;
-}
-
-static void 
-sysdep_dynl_unlink (void *handle, 
-                   const char *subr)
-{
-    no_dynl_error (subr);
-}
-
-static void *
-sysdep_dynl_func (const char *symbol, 
-                 void *handle,
-                 const char *subr)
-{
-    no_dynl_error (subr);
-    return NULL;
-}
-
-#endif
-
-int scm_tc16_dynamic_obj;
-
-struct dynl_obj {
-    SCM filename;
-    void *handle;
-};
-
-static SCM
-mark_dynl_obj (SCM ptr)
-{
-    struct dynl_obj *d = (struct dynl_obj *)SCM_CDR (ptr);
-    return d->filename;
-}
-
-static scm_sizet
-free_dynl_obj (SCM ptr)
-{
-  scm_must_free ((char *)SCM_CDR (ptr));
-  return sizeof (struct dynl_obj);
-}
-
-static int
-print_dynl_obj (SCM exp,SCM port,scm_print_state *pstate)
-{
-    struct dynl_obj *d = (struct dynl_obj *)SCM_CDR (exp);
-    scm_puts ("#<dynamic-object ", port);
-    scm_iprin1 (d->filename, port, pstate);
-    if (d->handle == NULL)
-      scm_puts (" (unlinked)", port);
-    scm_putc ('>', port);
-    return 1;
-}
-
-static SCM kw_global;
-SCM_SYMBOL (sym_global, "-global");
-
-SCM_DEFINE (scm_dynamic_link, "dynamic-link", 1, 0, 1, 
-            (SCM fname, SCM rest),
-"Open the dynamic library @var{library-file}.  A library handle
-representing the opened library is returned; this handle should be used
-as the @var{lib} argument to the following functions.")
-#define FUNC_NAME s_scm_dynamic_link
-{
-    SCM z;
-    void *handle;
-    struct dynl_obj *d;
-    int flags = DYNL_GLOBAL;
-
-    fname = scm_coerce_rostring (fname, FUNC_NAME, SCM_ARG1);
-
-    /* collect flags */
-    while (SCM_CONSP (rest))
-      {
-       SCM kw, val;
-
-       kw = SCM_CAR (rest);
-       rest = SCM_CDR (rest);
-       
-       if (!SCM_CONSP (rest))
-         scm_misc_error (FUNC_NAME, "keyword without value", SCM_EOL);
-       
-       val = SCM_CAR (rest);
-       rest = SCM_CDR (rest);
-
-       if (kw == kw_global)
-         {
-           if (SCM_FALSEP (val))
-             flags &= ~DYNL_GLOBAL;
-         }
-       else
-         scm_misc_error (FUNC_NAME, "unknown keyword argument: %s",
-                         scm_cons (kw, SCM_EOL));
-      }
-
-    SCM_DEFER_INTS;
-    handle = sysdep_dynl_link (SCM_CHARS (fname), flags, FUNC_NAME);
-
-    d = (struct dynl_obj *)scm_must_malloc (sizeof (struct dynl_obj),
-                                           FUNC_NAME);
-    d->filename = fname;
-    d->handle = handle;
-
-    SCM_NEWCELL (z);
-    SCM_SETCHARS (z, d);
-    SCM_SETCAR (z, scm_tc16_dynamic_obj);
-    SCM_ALLOW_INTS;
-
-    return z;
-}
-#undef FUNC_NAME
-
-static struct dynl_obj *
-get_dynl_obj (SCM dobj,const char *subr,int argn)
-{
-    struct dynl_obj *d;
-    SCM_ASSERT (SCM_NIMP (dobj) && SCM_CAR (dobj) == scm_tc16_dynamic_obj,
-               dobj, argn, subr);
-    d = (struct dynl_obj *)SCM_CDR (dobj);
-    SCM_ASSERT (d->handle != NULL, dobj, argn, subr);
-    return d;
-}
-
-SCM_DEFINE (scm_dynamic_object_p, "dynamic-object?", 1, 0, 0, 
-            (SCM obj),
-"Return @code{#t} if @var{obj} is a dynamic library handle, or @code{#f}
-otherwise.")
-#define FUNC_NAME s_scm_dynamic_object_p
-{
-    return SCM_BOOL(SCM_NIMP (obj) && SCM_CAR (obj) == scm_tc16_dynamic_obj);
-}
-#undef FUNC_NAME
-
-SCM_DEFINE (scm_dynamic_unlink, "dynamic-unlink", 1, 0, 0, 
-            (SCM dobj),
-"Unlink the library represented by @var{library-handle}, and remove any
-imported symbols from the address space.
-GJB:FIXME:DOC: 2nd version below:
-Unlink the indicated object file from the application.  The argument
-@var{dynobj} should be one of the values returned by
-@code{dynamic-link}.  When @code{dynamic-unlink} has been called on
-@var{dynobj}, it is no longer usable as an argument to the functions
-below and you will get type mismatch errors when you try to.
-")
-#define FUNC_NAME s_scm_dynamic_unlink
-{
-    struct dynl_obj *d = get_dynl_obj (dobj, FUNC_NAME, SCM_ARG1);
-    SCM_DEFER_INTS;
-    sysdep_dynl_unlink (d->handle, FUNC_NAME);
-    d->handle = NULL;
-    SCM_ALLOW_INTS;
-    return SCM_UNSPECIFIED;
-}
-#undef FUNC_NAME
-
-SCM_DEFINE (scm_dynamic_func, "dynamic-func", 2, 0, 0, 
-            (SCM symb, SCM dobj),
-"Import the symbol @var{func} from @var{lib} (a dynamic library handle).
-A @dfn{function handle} representing the imported function is returned.
-GJB:FIXME:DOC: 2nd version below
-Search the C function indicated by @var{function} (a string or symbol)
-in @var{dynobj} and return some Scheme object that can later be used
-with @code{dynamic-call} to actually call this function.  Right now,
-these Scheme objects are formed by casting the address of the function
-to @code{long} and converting this number to its Scheme representation.
-
-Regardless whether your C compiler prepends an underscore @samp{_} to
-the global names in a program, you should @strong{not} include this
-underscore in @var{function}.  Guile knows whether the underscore is
-needed or not and will add it when necessary.
-
-")
-#define FUNC_NAME s_scm_dynamic_func
-{
-    struct dynl_obj *d;
-    void (*func) ();
-
-    symb = scm_coerce_rostring (symb, FUNC_NAME, SCM_ARG1);
-    d = get_dynl_obj (dobj, FUNC_NAME, SCM_ARG2);
-
-    SCM_DEFER_INTS;
-    func = (void (*) ()) sysdep_dynl_func (SCM_CHARS (symb), d->handle,
-                                          FUNC_NAME);
-    SCM_ALLOW_INTS;
-
-    return scm_ulong2num ((unsigned long)func);
-}
-#undef FUNC_NAME
-
-SCM_DEFINE (scm_dynamic_call, "dynamic-call", 2, 0, 0, 
-            (SCM func, SCM dobj),
-"Call @var{lib-thunk}, a procedure of no arguments.  If @var{lib-thunk}
-is a string, it is assumed to be a symbol found in the dynamic library
-@var{lib} and is fetched with @code{dynamic-func}.  Otherwise, it should
-be a function handle returned by a previous call to @code{dynamic-func}.
-The return value is unspecified.
-GJB:FIXME:DOC 2nd version below
-Call the C function indicated by @var{function} and @var{dynobj}.  The
-function is passed no arguments and its return value is ignored.  When
-@var{function} is something returned by @code{dynamic-func}, call that
-function and ignore @var{dynobj}.  When @var{function} is a string (or
-symbol, etc.), look it up in @var{dynobj}; this is equivalent to
-
-@smallexample
-(dynamic-call (dynamic-func @var{function} @var{dynobj} #f))
-@end smallexample
-
-Interrupts are deferred while the C function is executing (with
-@code{SCM_DEFER_INTS}/@code{SCM_ALLOW_INTS}).
-")
-#define FUNC_NAME s_scm_dynamic_call
-{
-    void (*fptr)();
-
-    if (SCM_ROSTRINGP (func))
-       func = scm_dynamic_func (func, dobj);
-    fptr = (void (*)()) SCM_NUM2ULONG (1, func);
-    SCM_DEFER_INTS;
-    fptr ();
-    SCM_ALLOW_INTS;
-    return SCM_UNSPECIFIED;
-}
-#undef FUNC_NAME
-
-SCM_DEFINE (scm_dynamic_args_call, "dynamic-args-call", 3, 0, 0, 
-            (SCM func, SCM dobj, SCM args),
-"Call @var{proc}, a dynamically loaded function, passing it the argument
-list @var{args} (a list of strings).  As with @code{dynamic-call},
-@var{proc} should be either a function handle or a string, in which case
-it is first fetched from @var{lib} with @code{dynamic-func}.
-
-@var{proc} is assumed to return an integer, which is used as the return
-value from @code{dynamic-args-call}.
-
-GJB:FIXME:DOC 2nd version below
-Call the C function indicated by @var{function} and @var{dynobj}, just
-like @code{dynamic-call}, but pass it some arguments and return its
-return value.  The C function is expected to take two arguments and
-return an @code{int}, just like @code{main}:
-
-@smallexample
-int c_func (int argc, char **argv);
-@end smallexample
-
-The parameter @var{args} must be a list of strings and is converted into
-an array of @code{char *}.  The array is passed in @var{argv} and its
-size in @var{argc}.  The return value is converted to a Scheme number
-and returned from the call to @code{dynamic-args-call}.
-
-
-")
-#define FUNC_NAME s_scm_dynamic_args_call
-{
-    int (*fptr) (int argc, char **argv);
-    int result, argc;
-    char **argv;
-
-    if (SCM_ROSTRINGP (func))
-       func = scm_dynamic_func (func, dobj);
-
-    fptr = (int (*)(int, char **)) SCM_NUM2ULONG (1,func);
-    SCM_DEFER_INTS;
-    argv = scm_make_argv_from_stringlist (args, &argc, FUNC_NAME,
-                                         SCM_ARG3);
-    result = (*fptr) (argc, argv);
-    scm_must_free_argv (argv);
-    SCM_ALLOW_INTS;
-
-    return SCM_MAKINUM(0L+result);
-}
-#undef FUNC_NAME
-
-void
-scm_init_dynamic_linking ()
-{
-    scm_tc16_dynamic_obj = scm_make_smob_type_mfpe ("dynamic-object", sizeof (struct dynl_obj),
-                                                   mark_dynl_obj, free_dynl_obj, 
-                                                   print_dynl_obj, NULL);
-    sysdep_dynl_init ();
-#include "dynl.x"
-    kw_global = scm_make_keyword_from_dash_symbol (sym_global);
-}
+/* dynl.c - dynamic linking
+ *
+ * Copyright (C) 1990, 91, 92, 93, 94, 95, 96, 97, 98, 99, 2000, 2001, 2002 Free Software Foundation, Inc.
+ * 
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2.1 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ */
+
+
+
+/* "dynl.c" dynamically link&load object files.
+   Author: Aubrey Jaffer
+   Modified for libguile by Marius Vollmer */
+
+#if 0 /* Disabled until we know for sure that it isn't needed */
+/* XXX - This is only here to drag in a definition of __eprintf. This
+   is needed for proper operation of dynamic linking. The real
+   solution would probably be a shared libgcc. */
+
+#undef NDEBUG
+#include <assert.h>
+
+static void
+maybe_drag_in_eprintf ()
+{
+  assert (!maybe_drag_in_eprintf);
+}
+#endif
+
+#include <stdio.h>
+#include <string.h>
+
+#include "libguile/_scm.h"
+#include "libguile/dynl.h"
+#include "libguile/smob.h"
+#include "libguile/keywords.h"
+#include "libguile/ports.h"
+#include "libguile/strings.h"
+#include "libguile/deprecation.h"
+#include "libguile/lang.h"
+#include "libguile/validate.h"
+
+#include "guile-ltdl.h"
+
+/*
+  From the libtool manual: "Note that libltdl is not threadsafe,
+  i.e. a multithreaded application has to use a mutex for libltdl.".
+
+  Guile does not currently support pre-emptive threads, so there is
+  no mutex.  Previously SCM_DEFER_INTS and SCM_ALLOW_INTS were used:
+  they are mentioned here in case somebody is grepping for thread
+  problems ;)
+*/
+
+static void *
+sysdep_dynl_link (const char *fname, const char *subr)
+{
+  scm_lt_dlhandle handle;
+  handle = scm_lt_dlopenext (fname);
+  if (NULL == handle)
+    {
+      SCM fn;
+      SCM msg;
+
+      fn = scm_makfrom0str (fname);
+      msg = scm_makfrom0str (scm_lt_dlerror ());
+      scm_misc_error (subr, "file: ~S, message: ~S", scm_list_2 (fn, msg));
+    }
+  return (void *) handle;
+}
+
+static void
+sysdep_dynl_unlink (void *handle, const char *subr)
+{
+  if (scm_lt_dlclose ((scm_lt_dlhandle) handle))
+    {
+      scm_misc_error (subr, (char *) scm_lt_dlerror (), SCM_EOL);
+    }
+}
+   
+static void *
+sysdep_dynl_func (const char *symb, void *handle, const char *subr)
+{
+  void *fptr;
+
+  fptr = scm_lt_dlsym ((scm_lt_dlhandle) handle, symb);
+  if (!fptr)
+    {
+      scm_misc_error (subr, (char *) scm_lt_dlerror (), SCM_EOL);
+    }
+  return fptr;
+}
+
+static void
+sysdep_dynl_init ()
+{
+  scm_lt_dlinit ();
+}
+
+scm_t_bits scm_tc16_dynamic_obj;
+
+#define DYNL_FILENAME(x)        (SCM_CELL_OBJECT_1 (x))
+#define DYNL_HANDLE(x)          ((void *) SCM_CELL_WORD_2 (x))
+#define SET_DYNL_HANDLE(x, v)   (SCM_SET_CELL_WORD_2 ((x), (v)))
+
+
+static SCM
+dynl_obj_mark (SCM ptr)
+{
+  return DYNL_FILENAME (ptr);
+}
+
+
+static int
+dynl_obj_print (SCM exp, SCM port, scm_print_state *pstate)
+{
+  scm_puts ("#<dynamic-object ", port);
+  scm_iprin1 (DYNL_FILENAME (exp), port, pstate);
+  if (DYNL_HANDLE (exp) == NULL)
+    scm_puts (" (unlinked)", port);
+  scm_putc ('>', port);
+  return 1;
+}
+
+
+SCM_DEFINE (scm_dynamic_link, "dynamic-link", 1, 0, 0, 
+            (SCM filename),
+           "Find the shared object (shared library) denoted by\n"
+           "@var{filename} and link it into the running Guile\n"
+           "application.  The returned\n"
+           "scheme object is a ``handle'' for the library which can\n"
+           "be passed to @code{dynamic-func}, @code{dynamic-call} etc.\n\n"
+           "Searching for object files is system dependent.  Normally,\n"
+           "if @var{filename} does have an explicit directory it will\n"
+           "be searched for in locations\n"
+           "such as @file{/usr/lib} and @file{/usr/local/lib}.")
+#define FUNC_NAME s_scm_dynamic_link
+{
+  void *handle;
+
+  SCM_VALIDATE_STRING (1, filename);
+  handle = sysdep_dynl_link (SCM_STRING_CHARS (filename), FUNC_NAME);
+  SCM_RETURN_NEWSMOB2 (scm_tc16_dynamic_obj, SCM_UNPACK (filename), handle);
+}
+#undef FUNC_NAME
+
+
+SCM_DEFINE (scm_dynamic_object_p, "dynamic-object?", 1, 0, 0, 
+            (SCM obj),
+           "Return @code{#t} if @var{obj} is a dynamic object handle,\n"
+           "or @code{#f} otherwise.")
+#define FUNC_NAME s_scm_dynamic_object_p
+{
+  return SCM_BOOL (SCM_TYP16_PREDICATE (scm_tc16_dynamic_obj, obj));
+}
+#undef FUNC_NAME
+
+
+SCM_DEFINE (scm_dynamic_unlink, "dynamic-unlink", 1, 0, 0, 
+            (SCM dobj),
+           "Unlink a dynamic object from the application, if possible.  The\n"
+           "object must have been linked by @code{dynamic-link}, with \n"
+           "@var{dobj} the corresponding handle.  After this procedure\n"
+           "is called, the handle can no longer be used to access the\n"
+           "object.")
+#define FUNC_NAME s_scm_dynamic_unlink
+{
+  /*fixme* GC-problem */
+  SCM_VALIDATE_SMOB (SCM_ARG1, dobj, dynamic_obj);
+  if (DYNL_HANDLE (dobj) == NULL) {
+    SCM_MISC_ERROR ("Already unlinked: ~S", dobj);
+  } else {
+    sysdep_dynl_unlink (DYNL_HANDLE (dobj), FUNC_NAME);
+    SET_DYNL_HANDLE (dobj, NULL);
+    return SCM_UNSPECIFIED;
+  }
+}
+#undef FUNC_NAME
+
+
+SCM_DEFINE (scm_dynamic_func, "dynamic-func", 2, 0, 0, 
+            (SCM name, SCM dobj),
+           "Return a ``handle'' for the function @var{name} in the\n"
+           "shared object referred to by @var{dobj}.  The handle\n"
+           "can be passed to @code{dynamic-call} to actually\n"
+           "call the function.\n\n"
+           "Regardless whether your C compiler prepends an underscore\n"
+           "@samp{_} to the global names in a program, you should\n"
+           "@strong{not} include this underscore in @var{name}\n"
+           "since it will be added automatically when necessary.")
+#define FUNC_NAME s_scm_dynamic_func
+{
+  /* The returned handle is formed by casting the address of the function to a
+   * long value and converting this to a scheme number
+   */
+
+  void (*func) ();
+
+  SCM_VALIDATE_STRING (1, name);
+  /*fixme* GC-problem */
+  SCM_VALIDATE_SMOB (SCM_ARG2, dobj, dynamic_obj);
+  if (DYNL_HANDLE (dobj) == NULL) {
+    SCM_MISC_ERROR ("Already unlinked: ~S", dobj);
+  } else {
+    char *chars;
+
+    chars = SCM_STRING_CHARS (name);
+    func = (void (*) ()) sysdep_dynl_func (chars, DYNL_HANDLE (dobj), FUNC_NAME);
+    return scm_ulong2num ((unsigned long) func);
+  }
+}
+#undef FUNC_NAME
+
+
+SCM_DEFINE (scm_dynamic_call, "dynamic-call", 2, 0, 0, 
+            (SCM func, SCM dobj),
+           "Call a C function in a dynamic object.  Two styles of\n"
+           "invocation are supported:\n\n"
+           "@itemize @bullet\n"
+           "@item @var{func} can be a function handle returned by\n"
+           "@code{dynamic-func}.  In this case @var{dobj} is\n"
+           "ignored\n"
+           "@item @var{func} can be a string with the name of the\n"
+           "function to call, with @var{dobj} the handle of the\n"
+           "dynamic object in which to find the function.\n"
+           "This is equivalent to\n"
+           "@smallexample\n\n"
+           "(dynamic-call (dynamic-func @var{func} @var{dobj}) #f)\n"
+           "@end smallexample\n"
+           "@end itemize\n\n"
+           "In either case, the function is passed no arguments\n"
+           "and its return value is ignored.")
+#define FUNC_NAME s_scm_dynamic_call
+{
+  void (*fptr) ();
+  
+  if (SCM_STRINGP (func))
+    func = scm_dynamic_func (func, dobj);
+  fptr = (void (*) ()) SCM_NUM2ULONG (1, func);
+  fptr ();
+  return SCM_UNSPECIFIED;
+}
+#undef FUNC_NAME
+
+/* return a newly allocated array of char pointers to each of the strings
+   in args, with a terminating NULL pointer.  */
+/* Note: a similar function is defined in posix.c, but we don't necessarily
+   want to export it.  */
+static char **allocate_string_pointers (SCM args, int *num_args_return)
+{
+  char **result;
+  int n_args = scm_ilength (args);
+  int i;
+
+  SCM_ASSERT (n_args >= 0, args, SCM_ARGn, "allocate_string_pointers");
+  result = (char **) scm_malloc ((n_args + 1) * sizeof (char *));
+  result[n_args] = NULL;
+  for (i = 0; i < n_args; i++)
+    {
+      SCM car = SCM_CAR (args);
+
+      if (!SCM_STRINGP (car))
+       {
+         free (result);
+         scm_wrong_type_arg ("allocate_string_pointers", SCM_ARGn, car);
+       }
+      result[i] = SCM_STRING_CHARS (SCM_CAR (args));
+      args = SCM_CDR (args);
+    }
+  *num_args_return = n_args;
+  return result;
+}
+
+SCM_DEFINE (scm_dynamic_args_call, "dynamic-args-call", 3, 0, 0, 
+            (SCM func, SCM dobj, SCM args),
+           "Call the C function indicated by @var{func} and @var{dobj},\n"
+           "just like @code{dynamic-call}, but pass it some arguments and\n"
+           "return its return value.  The C function is expected to take\n"
+           "two arguments and return an @code{int}, just like @code{main}:\n"
+           "@smallexample\n"
+           "int c_func (int argc, char **argv);\n"
+           "@end smallexample\n\n"
+           "The parameter @var{args} must be a list of strings and is\n"
+           "converted into an array of @code{char *}.  The array is passed\n"
+           "in @var{argv} and its size in @var{argc}.  The return value is\n"
+           "converted to a Scheme number and returned from the call to\n"
+           "@code{dynamic-args-call}.")
+#define FUNC_NAME s_scm_dynamic_args_call
+{
+  int (*fptr) (int argc, char **argv);
+  int result, argc;
+  char **argv;
+
+  if (SCM_STRINGP (func))
+    func = scm_dynamic_func (func, dobj);
+
+  fptr = (int (*) (int, char **)) SCM_NUM2ULONG (1, func);
+  argv = allocate_string_pointers (args, &argc);
+  /* if the procedure mutates its arguments, the original strings will be
+     changed -- in Guile 1.6 and earlier, this wasn't the case since a
+     new copy of each string was allocated.  */
+  result = (*fptr) (argc, argv);
+  free (argv);
+
+  return SCM_MAKINUM (0L + result);
+}
+#undef FUNC_NAME
+
+void
+scm_init_dynamic_linking ()
+{
+  scm_tc16_dynamic_obj = scm_make_smob_type ("dynamic-object", 0);
+  scm_set_smob_mark (scm_tc16_dynamic_obj, dynl_obj_mark);
+  scm_set_smob_print (scm_tc16_dynamic_obj, dynl_obj_print);
+  sysdep_dynl_init ();
+#include "libguile/dynl.x"
+}
+
+/*
+  Local Variables:
+  c-file-style: "gnu"
+  End:
+*/