Rombobjörn

summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-08-01 18:30:33 +0200
committerBjörn Persson <bjorn@rombobjörn.se>2013-08-01 18:30:33 +0200
commit0fcc2762e5291dc1e98d6887084235eaaf0dab74 (patch)
tree32e327790915dc532b1a0e38e5d033c1dca421e3 /INSTALL
parent46d272892e2bb070e694e36cc9a9e58988032094 (diff)
documentation adjustments
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL9
1 files changed, 5 insertions, 4 deletions
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