HomeIsabelle/Phabricator

Bootstrap from the interpreted version. The bootstrap process takes much…

Description

Bootstrap from the interpreted version. The bootstrap process takes much longer but this
avoids the need for separate bootstrap files for each architecture. It also builds the compiler
(several times) so it is not necessary to run "make compiler" in the git version.

Details

Provenance
dcjmAuthored on Oct 28 2020, 7:00 PM
Parents
rPOLYMLdd568339c3a7: Remove ForkFromRTS which no longer seems to be used and remove arg argument…
Branches
Unknown
Tags
Unknown