Changes between Version 10 and Version 11 of doc/app/palmbuild

Timestamp:

Nov 21, 2018 3:39:54 PM (6 years ago)

Author:

raasch

Comment:

--

doc/app/palmbuild

@@ -69 +69 @@
 **However**, best practice would be to create  individual [wiki:doc/app/palm_config .palm.config files] for the different configurations, because this prevents from having to re-compile over and over again whenever modifying and working with just one single .palm.config file. Of course, {{{palmbuild}}} has to be executed for each configuration.\\
 
-== Options for manual {{{palmbuild}}} execution ==
-||='''option''' =||='''default value''' =||='''meaning''' =||
-|-----------
-||-c   ||default  ||Configuration identifier. Tells {{{palmbuild}}} which configuration file is to be used.  ||
-||-v   ||---      ||Run in silent mode. Switches off most messages and prompts  ||
-
 \\
 == Automatic execution of {{{palmbuild}}} ==
@@ -93 +87 @@
    palmbuild -v -c <ci> -r <ri>
 }}}
-where {{{<ci>}}} and {{{<ri>}}} are as given by the respective {{{palmrun}}} options.
+where {{{<ci>}}} and {{{<ri>}}} are as given by the respective {{{palmrun}}} options. An additional option {{{-V}}} is added if the corresponding {{{palmrun}}} option {{{-V}}} has been set. For explanations of the internal options see the table below. 
 
-{{{palmbuild}}} is never called by {{{palmrun}}} within a batch job, or by automatic calls of {{{palmrun}}} to generate restart jobs. Reasons are to avoid compilation within batch jobs (which may be very inefficient if the job runs on many cores), and because automatic restart runs should and can re-use the binaries that have been created by the initial run and are saved in the respective SOURCES_FOR_RUN folder.
+{{{palmbuild}}} is never called by {{{palmrun}}} within a batch job, or by automatic calls of {{{palmrun}}} to generate restart jobs. Reasons are to avoid compilation within batch jobs (which may be very inefficient if the job runs on many cores), and because automatic restart runs should and can re-use the binaries that have been created by the initial run and are saved in the respective SOURCES_FOR_RUN folder. \\\\
+
+
+== {{{palmbuild}}} user options ==
+||='''option''' =||='''default value''' =||='''meaning''' =||
+|-----------
+||-c   ||default  ||Configuration identifier. Tells {{{palmbuild}}} which configuration file is to be used.  ||
+||-v   ||---      ||Run in silent mode. Switches off most messages and prompts.  ||
+
+
+== {{{palmbuild}}} internal options ==
+||='''option''' =||='''default value''' =||='''meaning''' =||
+|-----------
+||-r   ||---      ||Run identifier, as specified with {{{palmrun}}} option {{{-r}}}.  ||
+||-V   ||---      ||Do not compile sources for the SOURCES_FOR_RUN folder.   ||
+