Set variables at compile-time via compiler CLI

Stream: lean4

[Ricardo Prado Cunha]

Is there any way to set values via the compiler CLI that I can query in the program at compile-time? I'm looking for something like gcc/clang's -D flag or rustc's --cfg flag.