diff options
| author | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
| commit | af3e6e2cb011dc2ad9204440990731a2f272716d (patch) | |
| tree | 3521c74b05fc5b3ddddbe901d32ace87dbb6c018 /lux-jvm/source/program.lux | |
| parent | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (diff) | |
Constraining the year of the snapshot time in Aedifex.
Diffstat (limited to 'lux-jvm/source/program.lux')
| -rw-r--r-- | lux-jvm/source/program.lux | 42 |
1 files changed, 23 insertions, 19 deletions
diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux index f6a921e86..baa76ac31 100644 --- a/lux-jvm/source/program.lux +++ b/lux-jvm/source/program.lux @@ -159,22 +159,26 @@ (promise.future (\ world/program.default exit +0))) (program: [{service /cli.service}] - (exec (do promise.monad - [_ (/.compiler {#/static.host @.jvm - #/static.host_module_extension ".jvm" - #/static.target (/cli.target service) - #/static.artifact_extension ".class"} - ..expander - analysis.bundle - ..platform - ## generation.bundle - translation.bundle - (directive.bundle ..extender) - (jvm/program.program jvm/runtime.class_name) - [_.Anchor _.Inst _.Definition] - ..extender - service - [packager.package - (format (/cli.target service) (\ file.default separator) "program.jar")])] - (..declare_success! [])) - (io.io []))) + (let [static {#/static.host @.jvm + #/static.host_module_extension ".jvm" + #/static.target (/cli.target service) + #/static.artifact_extension ".class"}] + (exec (do promise.monad + [_ (/.compiler {#/static.host @.jvm + #/static.host_module_extension ".jvm" + #/static.target (/cli.target service) + #/static.artifact_extension ".class"} + ..expander + analysis.bundle + ..platform + ## generation.bundle + translation.bundle + (directive.bundle ..extender) + (jvm/program.program jvm/runtime.class_name) + [_.Anchor _.Inst _.Definition] + ..extender + service + [(packager.package static) + (format (/cli.target service) (\ file.default separator) "program.jar")])] + (..declare_success! [])) + (io.io [])))) |