From 83de36348f6498216b718097aee9f988c6f256aa Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 13 Mar 2000 12:31:05 +0000
Subject: [PATCH] Update for IRIX64.

git-svn-id: https://svn.dealii.org/trunk@2578 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/readme.html | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/deal.II/doc/readme.html b/deal.II/doc/readme.html
index 13783bb127..669308d6c8 100644
--- a/deal.II/doc/readme.html
+++ b/deal.II/doc/readme.html
@@ -31,6 +31,8 @@
     <ul>
       <li>Linux ELF with egcs 1.1.x and gcc 2.95.x;
       <li>Sun Solaris 2.5, 2.6, and 7, with egcs 1.1.x and gcc 2.95.x;
+      <li>SGI IRIX64 with gcc 2.95.x (with some restrictions on
+          the use of shared libraries);
       <li>IBM AIX 4.2, with gcc 2.95.x (with some restrictions on
           the use of shared libraries).
     </ul>
@@ -267,7 +269,7 @@
 
       <p>
       You will want to link your programs against these libraries when
-      your application runs stably and are used in production mode.
+      they run stable and are used in production mode.
       </p>
     </ul>
 
@@ -285,11 +287,11 @@
       start-up time, so this is the default. However, some systems
       might not support shared libraries, in which case you should
       call ./configure with the parameter
-      <code>--disable-shared</code>. (Since on AIX we could not get
-      shared libraries right immediately, they are disabled by default
-      on this system. Probably, there is a simple work-around, but
-      since we do not regularly test on AIX, we did not try very
-      hard.)
+      <code>--disable-shared</code>. (Since on AIX and IRIX64 we could
+      not get shared libraries right immediately, they are disabled by
+      default on these systems. Probably, there is a simple
+      work-around, but since we do not regularly test on these
+      systems, we did not try very hard.)
       </p>
 
       <p>
-- 
2.39.5