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: May 02 2025 at 03:31 UTC