diff options
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -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 |