From 0fcc2762e5291dc1e98d6887084235eaaf0dab74 Mon Sep 17 00:00:00 2001 From: Björn Persson Date: Thu, 1 Aug 2013 18:30:33 +0200 Subject: documentation adjustments --- INSTALL | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index e1e95b2..93b4650 100644 --- a/INSTALL +++ b/INSTALL @@ -27,7 +27,7 @@ Basic Installation The simplest way to build and install the software is: 1: Go to the directory that contains this file and the makefiles, and run - "make" to build the library. + "make" to build the software. 2: Run "make install" to copy the files to the default locations. You will probably need root privileges if you install to the default locations. @@ -163,7 +163,6 @@ variables listed above, DESTDIR is effective in the installation step. The following preprocessor symbols are used when the project files are preprocessed. They are derived from the Make variables above when the makefiles invoke Gnatprep. You may need to define them if you run Gnatprep manually. -The same defaults as above will be used if the symbols are undefined. Directories_GPR The filename of the directories project, if any; corresponding to dirgpr. @@ -192,7 +191,8 @@ The same defaults as above will be used if the symbols are undefined. Miscdocdir Runtimedir Lockdir - These correspond to the like-named Make variables. + These correspond to the like-named Make variables. The same defaults as + above will be used if the symbols are undefined. Optional Features @@ -218,7 +218,8 @@ options are passed to them: version of Gnatprep or a wrapper for example. Default: gnatprep GNAT_BUILDER - The command for invoking the builder, that is GPRbuild. Default: gprbuild + The command for invoking the builder, that is GPRbuild or Gnatmake. + Default: gprbuild GNATFLAGS A space-separated list with all of the optional parameters to be passed to -- cgit v1.2.3