From f0bbafed015258350f317558da62dd7be442be3c Mon Sep 17 00:00:00 2001 From: Björn Persson Date: Tue, 8 Oct 2013 20:05:56 +0200 Subject: Documented archincludedir. --- INSTALL | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'INSTALL') 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: /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: /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: + 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: /include + + archincludedir + Like includedir but for architecture-specific source files, in case this + library must install such files. Default: /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 -- cgit v1.2.3