HOL doesn’t rebuild everything when you re-run “bin/build”: it only rebuilds changed theories and all dependencies. Sometimes you need to re-run “poly < tools/smart-configure.sml” and rebuild everything, other times you need to clean everything “bin/build cleanAll” to fix the building process.
Anyway, I think by large chances you only need 10 minutes to keep your build up-to-date. But if I have a poly process with everything loaded, I can normally use it even when HOL is rebuilding. Hope this helps, Chun > Il giorno 25 ott 2017, alle ore 18:23, Mario Castelán Castro > <marioxcc...@yandex.com> ha scritto: > > Hello. > > If my understanding is correct, when using the development version of > HOL4 one has to recompile every time one updates the local copy (i.e.: > “git pull” or “git fetch; git checkout origin/master”). In my computer, > running bin/build takes around 20 min. If a theory with many descendants > is changed, then it takes approximately the same time. > > If I use the development version, does that mean that I have to wait 20 > minutes for compilation after updating my local copy before I can use > it? Is that how it is supposed to be or is there some command line > switch, or something related that I am missing, to shorten compilation > time when updating? > > Thanks. > > -- > 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
signature.asc
Description: Message signed with OpenPGP using GPGMail
------------------------------------------------------------------------------ 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
