head 1.3;
access;
symbols;
locks
da:1.3; strict;
comment @# @;
1.3
date 99.11.23.14.53.13; author da; state Exp;
branches;
next 1.2;
1.2
date 99.11.23.14.44.06; author da; state Exp;
branches;
next 1.1;
1.1
date 99.08.19.15.29.51; author da; state Exp;
branches;
next ;
desc
@@
1.3
log
@Note about building from sources added.
@
text
@
LEGO Version 1.3.1 System and Documentation
Up: Releases
LEGO System and documentation, Version 1.3.1
Installation
- Build yourself
-
Sources only
LEGO can be easily built with the line
echo "use \"build.sml\";" | cml
- Minor Patch (Updates a printing function for
Proof General,
removes architecture from version message)
-
1.3.1-3 patch
- RPMs for Intel Linux, ELF format
-
RedHat RPM package
(LEGO source code not included), also
corresponding SRPM package
- Sun Solaris
-
Source with binaries
- Intel Linux (NB: has old aout binaries)
-
Source with binaries
IMPORTANT NOTE: To use the above binaries on an Intel Linux platform,
you need to have support for the old 'a.out' binary format.
On a RedHat system, you should have the 'aout-libs' compatibility
package installed. Your kernel also needs to have support for aout
binaries (which standard RedHat kernels do).
Update: for RedHat 6.0, you may need to edit the
file /etc/conf.modules to add the line
alias binfmt-0064 binfmt-aout
The `aout-libs' package is no longer part of the standard
distribution, but the version from RedHat 5.2,
aout-libs-1.4-9.i386.rpm works for me.
-- David Aspinall, 19th August 1999
UPDATE:
This does not apply to the RPM package, which has now been
updated to use ELF format binaries (thanks to Martin Hofmann
for rebuilding).
To build LEGO from the plain sources or SRPM, you need
NJSML 0.93, with CML.
-- David Aspinall, 22nd November 1999
Documentation
For the above systems, the following documentation is available
Last modified: Tue Nov 23 14:52:32 GMT 1999
David Aspinall
<lego@@dcs.ed.ac.uk>
@
1.2
log
@Added new RPM files, patch, plain sources, comments.
@
text
@d33 3
d50 1
a50 1
(to build, you need NJSML 0.93, with CML).
d85 2
d138 1
a138 1
Last modified: Tue Nov 23 14:42:59 GMT 1999
@
1.1
log
@Initial revision
@
text
@d7 1
d28 20
d53 2
a54 2
Intel Linux
d58 1
a58 6
RPM for Intel Linux
RedHat RPM package (Lego source code not included)
d60 5
a64 5
IMPORTANT NOTE: To use LEGO on the Intel Linux platform, you need to
have support for the old 'a.out' binary format. On a RedHat system,
you should have the 'aout-libs' compatibility package installed.
Your kernel also needs to have support for aout binaries (which
standard RedHat kernels do).
d78 8
d88 1
a88 1
Documentation
d133 1
a133 1
Last modified: Thu Aug 19 16:27:41 BST 1999
@