A dummy default constant for __dir__
to make it type check
outside Lakefile elaboration (e.g., when editing).
A dummy default constant for get_config
to make it type check
outside Lakefile elaboration (e.g., when editing).
A macro that expands to the path of package's directory during the Lakefile's elaboration.
Instances For
A macro that expands to the specified configuration option (or none
,
if not the option has not been set) during the Lakefile's elaboration.
Configuration arguments are set either via the Lake CLI (by the -K
option)
or via the with
clause in a require
statement.