tuned rpm command lines;
authorwenzelm
Wed Sep 20 14:59:19 2000 +0200 (2000-09-20)
changeset 10038839340b78fc8
parent 10037 0d2a6feeb634
child 10039 1eb980d64ba3
tuned rpm command lines;
Admin/page/dist-content/packages.content
INSTALL
     1.1 --- a/Admin/page/dist-content/packages.content	Wed Sep 20 00:50:09 2000 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Wed Sep 20 14:59:19 2000 +0200
     1.3 @@ -67,11 +67,17 @@
     1.4  Example installation in <tt>/usr/share</tt> (the default location):
     1.5  
     1.6  <pre>
     1.7 -rpm -i --force --prefix /usr/share polyml.i386.rpm
     1.8 -rpm -i --force --prefix /usr/share isabelle.rpm
     1.9 -rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
    1.10 -rpm -i --force --prefix /usr/share proofgeneral.rpm
    1.11 -rpm -i --force --prefix /usr/share xsymbol.rpm
    1.12 +rpm -i --prefix /usr/share polyml.i386.rpm
    1.13 +rpm -i --prefix /usr/share isabelle.rpm
    1.14 +rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
    1.15 +rpm -i --prefix /usr/share proofgeneral.rpm
    1.16 +rpm -i --prefix /usr/share xsymbol.rpm
    1.17 +</pre>
    1.18 +
    1.19 +Note that installed RPMs may be removed like this:
    1.20 +
    1.21 +<pre>
    1.22 +rpm -e xsymbol proofgeneral isabelle-HOL isabelle polyml
    1.23  </pre>
    1.24  
    1.25  <p>
     2.1 --- a/INSTALL	Wed Sep 20 00:50:09 2000 +0200
     2.2 +++ b/INSTALL	Wed Sep 20 14:59:19 2000 +0200
     2.3 @@ -70,11 +70,15 @@
     2.4  
     2.5  A minimal installation would work like this (executed as root):
     2.6  
     2.7 -  rpm -i --force --prefix /usr/share polyml.i386.rpm
     2.8 -  rpm -i --force --prefix /usr/share isabelle.rpm
     2.9 -  rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
    2.10 +  rpm -i --prefix /usr/share polyml.i386.rpm
    2.11 +  rpm -i --prefix /usr/share isabelle.rpm
    2.12 +  rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
    2.13  
    2.14 -The install prefix may be changed as indicated.  By default the ML
    2.15 +Note that installed RPMs may be removed like this:
    2.16 +
    2.17 +  rpm -e isabelle-HOL isabelle polyml
    2.18 +
    2.19 +The install prefix given above may be changed.  By default the ML
    2.20  system (and other contributed packages) are expected in either of the
    2.21  following three locations:
    2.22  
    2.23 @@ -83,7 +87,8 @@
    2.24    3) /usr/share
    2.25    4) /usr/local
    2.26  
    2.27 -This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
    2.28 +This may be changed further by editing [ISABELLE_HOME]/etc/settings
    2.29 +manually.
    2.30  
    2.31  Note that isabelle.rpm and isabelle-pdfdocs.rpm already contain all of
    2.32  Isabelle as platform independent sources.  Precompiled object-logics