max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

refactor: preserve case in exe root default

Browse source
This commit is contained in:
tydeu 2022-06-08 17:37:05 -04:00
parent 427ad67d79
commit 5ea07ae20e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Lake/Config/Targets.lean
View file

@ -108,9 +108,9 @@ structure LeanExeConfig where
The root is built by recursively building its
local imports (i.e., fellow modules of the workspace).
Defaults to the upper camel case name of the target.
Defaults to the name of the target.
-/
root : Name := toUpperCamelCase name
root : Name := name
/--
The name of the binary executable.