In fact,
bin/build cleanForReloc
will purge a directory tree of the files in rebuild-excludes.txt, so it might
be easier to copy a tree and then “clean” it.
This workflow should be documented before the next release.
Best wishes,
Michael
From: Ramana Kumar <ramana.ku...@cl.cam.ac.uk>
Date: Monday, 5 February 2018 at 04:28
To: Mario Xerxes Castelán Castro <marioxcc...@yandex.com>
Cc: hol-info <hol-info@lists.sourceforge.net>
Subject: Re: [Hol-info] Dependency on absolute paths remaining the same
Yes, to do that you need to use --relocbuild, since any executables (heaps)
need to be rebuilt if the path changes.
Steps:
1. Copy your HOL directory to the new location, omitting any files that match
the patterns in tools-poly/rebuild-excludes.txt
2. Run poly --script tools/smart-configure.sml in the new location
3. Run bin/build --relocbuild in the new location
If there are additional developments outside of HOL that you want to build
using the newly located HOL, you may also need to use Holmake's --relocbuild
argument when rebuilding them initially (and also see --nolmbc).
On 4 February 2018 at 17:16, Mario Xerxes Castelán Castro
<marioxcc...@yandex.com<mailto:marioxcc...@yandex.com>> wrote:
Hello.
Is it possible to use HOL4 in such a way that it continues working
despite moving the directory to a different absolute path? The option
“--relocbuild” of “bin/build” seems to be related. Is it documented
anywhere? (I did not find anything in the manual)
Thanks.
------------------------------------------------------------------------------
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<mailto:hol-info@lists.sourceforge.net>
https://lists.sourceforge.net/lists/listinfo/hol-info
------------------------------------------------------------------------------
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
