Understood. Thanks. On 23/12/17 03:36, michael.norr...@data61.csiro.au wrote: > The way to do this sort of thing is to specify the sequence of directories > you want built with the > > --seq=fname > > command line option. Sequence files can #include other files. See the > documentation in the top-level file > > tools/build-sequence > > If you are hacking HOL frequently, please read the manual at > Manual/Developers, and if there’s stuff not there, please suggest possible > fixes (or make pull requests to fix it of course). > > I hope this helps, > Michael
-- Do not eat animals; respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
