Admin/README-rpm.html
author wenzelm
Tue, 07 Sep 1999 18:08:51 +0200
changeset 7507 e70255cb1035
parent 7489 77d654ea31a9
permissions -rw-r--r--
induct method: rule option;

<html>

<head>
<!-- $Id$ -->
<title>Isabelle Binary Distribution</title>
</head>

<body>

<h1>Isabelle Binary Distribution</h1>

This is your fast path to Isabelle on Linux/x86 systems (with rpm
package management):

<p>

<pre>
rpm -i <a
href="ftp://ftp.cl.cam.ac.uk/MIRRORED/smlnj/release/110/smlnj-110.0-3.i386.rpm">smlnj-110.0-3.i386.rpm</a>                           # mandatory
rpm -i --prefix /usr/share <a href="isabelle.rpm">isabelle.rpm</a>                 # mandatory
rpm -i --prefix /usr/share <a href="isabelle-HOL.i386.rpm">isabelle-HOL.i386.rpm</a>        # recommended
rpm -i --prefix /usr/share <a href="isabelle-HOL-Real.i386.rpm">isabelle-HOL-Real.i386.rpm</a>   # optional
rpm -i --prefix /usr/share <a href="isabelle-ZF.i386.rpm">isabelle-ZF.i386.rpm</a>         # optional
rpm -i --prefix /usr/share <a href="isabelle-pdfdocs.rpm">isabelle-pdfdocs.rpm</a>         # optional
</pre>

</body>

</html>