This file is http://www.cs.bham.ac.uk/research/poplog/src/new/extern_symbols.txt Date: 23 Dec 2004 There is a new version of extern_symbols.p http://www.cs.bham.ac.uk/research/poplog/src/new/extern_symbols.p which replaces this one: http://www.cs.bham.ac.uk/research/poplog/src/new/extern_symbols.p.orig The change alters the definition of DLOPEN_FLAGS for linux thus #_ELSEIF DEF LINUX_ELF lconstant macro DLOPEN_FLAGS = 16:101; ;;; RTLD_LAZY|RTLD_GLOBAL In the original file the definition was lconstant macro DLOPEN_FLAGS = 16:001; ;;; RTLD_LAZY (as in the Solaris version). This fixes a problem that externally loading more than one shareable dynamic library did not allow symbols used in one to be defined in another, whereas that is now fixed. Many thanks to David Young and Jeff Best for help in identifying the problem and finding the likely place to fix it. I hope to have newly built versions of the linux poplog tar files soon. Aaron Sloman http://www.cs.bham.ac.uk/~axs/ 23 Dec 2004