diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 17 |
1 files changed, 13 insertions, 4 deletions
@@ -209,6 +209,15 @@ invoke Gnatprep. You may need to define them if you run Gnatprep manually. above will be used if the symbols are undefined. +Building a Shared or Static Library +----------------------------------- + +If the software is a library that can be built as either shared or static, then +the Make variable library_type controls which kind of library is built. The +valid values are "dynamic", "static", and "relocatable" which is an alias for +"dynamic". The default is to build a shared library, that is "dynamic". + + Optional Features ----------------- @@ -220,12 +229,12 @@ The developers really should have listed those options here, or deleted this section if there are none. -Build Tools and Options ------------------------ +Build Tools and their Arguments +------------------------------- The following variables, which may be set in the environment or on the Make command line, control which programs are invoked to do the build and which -options are passed to them: +arguments are passed to them: GNATPREP The command for invoking Gnatprep, in case you want to use a nondefault @@ -287,7 +296,7 @@ options are passed to them: Copyright of This File ---------------------- -Copyright 2013 B. Persson, Bjorn@Rombobeorn.se +Copyright 2013 - 2016 B. Persson, Bjorn@Rombobeorn.se This material is provided as is, with absolutely no warranty expressed or implied. Any use is at your own risk. |