History log of /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/HM_Cline.sml
Revision Date Author Comments
# e31c304c 07-Oct-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Give buildheap+Holmake --mt c/line opt for control of thread count


# 236d8980 25-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix Holmake's -I flag so it is not applied recursively

The -I flag to Holmake was being re-interpreted with each recursive
entry of a fresh directory, so that when the included directory was
entered, the Holmake process then attempted to again include that path
in the newly entered directory. This is fine if the path is
absolute (the loop detection will stop the recursion), but if it's
relative, the path won't be present in that directory and a
file-system IO error occurs.

Closes #413


# 140144ea 18-Apr-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Make j1 Poly build pass on environment variable to sub-shells

Also rename reloc_build to relocbuild internally (making SML variable
name match command-line option name).


# ee5d00f2 18-Apr-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Add --relocbuild option to Holmake (without acting on it)


# 6ac06ad3 01-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Update monitor code to use LargeInt explicitly

This is necessary to cope with Poly/ML's forthcoming shift to the
default integer type being fixed-width. The change is already visible
in the git repository's master branch.


# e4875d88 01-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Allow users to specify time-limit on command-line

Thus,

Holmake -t10

will kill any sub-process (e.g., a script file running) that doesn't do
anything (= produce any output) for 10 seconds.


# b59cee6f 02-May-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Provide CLINE_OPTIONS variable in Holmakefiles

This variable is read for a set of default command-line switches which
are treated as if they are being passed on the command-line. Things
actually passed on the command-line are applied after what is in the
Holmakefile, possibly overriding the file's switches. Of course, the
command-line can also change the defaults with both of the
--no_hmakefile and --holmakefile=file switches.

Motivated by the desire to have Holmakefiles be able to contain good -j
options for specific directories.

This pretty well supercedes the OPTIONS variable, so the documentation
in DESCRIPTION has been adjusted accordingly.

Closes #86


# 1aec33b5 29-Mar-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Make Poly/ML Holmake use GetOpt

This allows it to also share "core" command-line options with the Moscow
ML implementation.

Progress with Github issue #77