Rombobjörn

summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL17
1 files changed, 11 insertions, 6 deletions
diff --git a/INSTALL b/INSTALL
index 5833d80..9353fe4 100644
--- a/INSTALL
+++ b/INSTALL
@@ -112,11 +112,6 @@ are relevant during the build:
logdir
The top-level directory for log files. Default: <localstatedir>/log
- includedir
- The top-level directory for source files to be used in the compilation of
- software using libraries, used only if no directories project is provided.
- Default: <prefix>/include
-
libdir
The directory for binary libraries to be used by other software, and the
top-level directory for other architecture-specific files, used for
@@ -128,6 +123,15 @@ are relevant during the build:
files for this library, used only if no directories project is provided.
Default: <libdir>
+ includedir
+ The top-level directory for source files to be used in the compilation of
+ software using libraries, used only if no directories project is provided.
+ Default: <prefix>/include
+
+ archincludedir
+ Like includedir but for architecture-specific source files, in case this
+ library must install such files. Default: <libdir>/include
+
gprdir
The directory for GNAT project files to be used in the building of software
using libraries. If you set this to a directory that GPRbuild and Gnatmake
@@ -188,9 +192,10 @@ invoke Gnatprep. You may need to define them if you run Gnatprep manually.
Statedir
Cachedir
Logdir
- Includedir
Libdir
Alidir
+ Includedir
+ Archincludedir
GPRdir
Localedir
Mandir