[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Jul 16 13:06:28 2001 
Subject:poplog for small linux systems 
From:Stephen Isard 
Volume-ID:1010716.01 

I have made a new version of the poplog distribution for small linux
systems.  It is available at
ftp://cogsci.ed.ac.uk/pub/stepheni/poplog/poplog1553.linux.libc5.nox.1.tar.bz2.
In the original version, exload worked, but did not automatically
include the standard libraries, as specified on lines 391-393 of REF
EXTERNAL:
"the Poplog external library
'$popexternlib/libpop.olb'. and the  C default library  '-lc' are  added
automatically".

The problem went away when I relinked everything under a pure libc5
linux system, instead of using a cross-compiler on a libc6 system. 
There are no changes to any source files.  Thanks to Andrzej Ritz for
pointing out the problem and helping to find the solution.

For reasons that I haven't yet tried to investigate, the new pop11
binary is smaller than the original.  That means that more files could
be added and it would still all fit on two floppies.  The extra room is
equivalent to approximately
three copies of the ved manual.  If anyone has suggestions for what to
add in, let me know.

Stephen Isard