Index: INSTALL
===================================================================
--- INSTALL	(revision 2ec81ca5d342fd71e6a860a7a29ad59792257970)
+++ INSTALL	(revision 51b734528489f81a5af985bfee9aa3b6625b9774)
@@ -1,61 +1,30 @@
-cfa-cc: Cforall to C Trans-compiler
+cfa-cc: The Cforall->C Compiler System
 ======================================
 
-Cforall is built on Linux using GNU Make and the GNU Autoconf system, which
-includes Windows WSL.  It also requires g++ version >= 9, bison and flex.  On
-systems where GNU Make is the default make, the system is built by entering the
-commands:
+Cforall is built using GNU Make and the GNU Autoconf system.  It also
+requires g++ version 3, bison and flex.  On systems where GNU Make is
+the default make it may suffice to build the system by entering the
+commands
 
-1. For developers using the root git:
+	./configure
+	make
+	make install
 
-   $ ./autogen.sh
-   $ ./configure [ --prefix=/some/directory ]
-   $ make -j 8 install
-   $ cfa
+Options for 'configure'
+-----------------------
+The script 'configure' accepts many command line arguments.  Run
+'./configure --help' to see a list of all of them.  This document
+attempts to summarize the most useful arguments.
 
-2. For users using the distributed tarball/github:
+--prefix=/some/directory controls the path prefix common to all
+installed cfa-cc components.  Some components will be installed in
+/some/directory/bin, others in /some/directory/lib.  If unspecified,
+this defaults to /usr/local.
 
-   $ ./configure
-   $ make -j 8 install
-   $ cfa
+--with-backend-compiler=PROGRAM specifies the installed path of gcc
+3.2.  It defaults to the first command named 'gcc' in the current
+PATH.
 
-where 8 or greater is the number of CPUs on your computer.
-
-The above instructions produce an in-tree, installed build, where intermediate
-binaries share the same folders as their sources, and where the final result
-becomes an "official" CFA version for the current environment.  For developers
-preferring an isolated side-by-side build, where all binaries are separated
-from sources, where it is possible to build multiple configurations from a
-common set of sources, and where no "official" CFA version is designated:
-
-   $ ./autogen.sh
-   $ mkdir ../build
-   $ cd ../build
-   $ ../cfa-cc/configure
-   $ make -j 8
-   $ ./driver/cfa
-
-
-Options for configure
-======================================
-The script 'configure' accepts many command-line arguments.  Run
-
-   $ ./configure --help
-
-to list them.  The most common argument is:
-
-   --prefix=/some/directory controls the path prefix common to all installed
-     cfa-cc components.  Components are installed in directories bin and lib.
-     If unspecified, prefix defaults to /usr/local.  To use (a subdirectory of)
-     your home directory, ${HOME}/some/dir, but do not put quotes around the
-     directory path; Cforall may appear to build, but the installed version may
-     not work properly.
-
-
-Build Test
-======================================
-
-   $ cd ./tests
-   $ make -j 8 all-local
-
-The tests take about 2-5 minutes and can be stopped at any time.
+cfa-cc itself is built with the version of g++ specified by the
+environment variable CXX.  If CXX is unset, cfa-cc is built using the
+first command named 'g++' in the current PATH.