arvo: update bootstrap/lifecycle formulas to be fully static
?@ epic arvo
%= $
epic +.epic
- arvo .*(arvo [%9 2 %10 [6 %1 -.epic] %0 1])
+ arvo .*([arvo -.epic] [%9 2 %10 [6 %0 3] %0 2])
==
::
:: +boot: event 2: bootstrap a kernel from source
::
~> %slog.[0 leaf+"1-c (compiling compiler, wait a few minutes)"]
=/ compiler-tool
- .*(compiler-gate [%9 2 %10 [6 %1 noun/hoon.log] %0 1])
+ .*([compiler-gate noun/hoon.log] [%9 2 %10 [6 %0 3] %0 2])
::
:: switch to the second-generation compiler. we want to be
:: able to generate matching reflection nouns even if the
:: generate last-generation spans for `!>`, etc.
::
~> %slog.[0 leaf+"1-d"]
- =. compiler-gate .*(0 +:compiler-tool)
+ =. compiler-gate .*(0 +.compiler-tool)
::
:: get the span (type) of the kernel core, which is the context
:: of the compiler gate. we just compiled the compiler,
::
~> %slog.[0 leaf+"1-e"]
=/ kernel-span
- -:.*(compiler-gate [%9 2 %10 [6 %1 [-.compiler-tool '+>']] %0 1])
+ -:.*([compiler-gate -.compiler-tool '+>'] [%9 2 %10 [6 %0 3] %0 2])
::
:: compile the arvo source against the kernel core.
::
~> %slog.[0 leaf+"1-f"]
=/ kernel-tool
- .*(compiler-gate [%9 2 %10 [6 %1 [kernel-span arvo.log]] %0 1])
+ .*([compiler-gate kernel-span arvo.log] [%9 2 %10 [6 %0 3] %0 2])
::
:: create the arvo kernel, whose subject is the kernel core.
::
~> %slog.[0 leaf+"1-g"]
- [.*(+>:compiler-gate +:kernel-tool) epic.log]
+ [.*(+>.compiler-gate +.kernel-tool) epic.log]
--
::
:: |adapt
