Zulip Chat Archive
Stream: new members
Topic: Compile Time Parameters
Simon Daniel (Aug 12 2024 at 14:22):
Hello,
Is it possible to have a global definition which value is set either at starting a lean executable, or during compilation?
Last updated: Feb 28 2026 at 14:05 UTC