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

chore: adjust dev-release preset (#13741)

Browse source 
Use same output directory as `release` to avoid
lean-toolchain/CLAUDE.md/... issues, rename preset accordingly
This commit is contained in:
Sebastian Ullrich 2026-05-16 07:32:16 +02:00 • committed by GitHub
parent 1708293920
commit d5bcec28e5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
CMakePresets.json
View file

@ -13,13 +13,13 @@
"binaryDir": "${sourceDir}/build/release" "binaryDir": "${sourceDir}/build/release"
}, },
{ {
"name": "dev", "name": "dev-release",
"displayName": "Default development optimized build config", "displayName": "Default development optimized build config",
"cacheVariables": { "cacheVariables": {
"STRIP_BINARIES": "OFF" "STRIP_BINARIES": "OFF"
}, },
"generator": "Unix Makefiles", "generator": "Unix Makefiles",
"binaryDir": "${sourceDir}/build/dev" "binaryDir": "${sourceDir}/build/release"
}, },
{ {
"name": "debug", "name": "debug",
@ -71,8 +71,8 @@
"configurePreset": "release" "configurePreset": "release"
}, },
{ {
"name": "dev", "name": "dev-release",
"configurePreset": "dev" "configurePreset": "dev-release"
}, },
{ {
"name": "debug", "name": "debug",
@ -98,8 +98,8 @@
"output": {"outputOnFailure": true, "shortProgress": true} "output": {"outputOnFailure": true, "shortProgress": true}
}, },
{ {
"name": "dev", "name": "dev-release",
"configurePreset": "dev", "configurePreset": "dev-release",
"output": {"outputOnFailure": true, "shortProgress": true} "output": {"outputOnFailure": true, "shortProgress": true}
}, },
{ {

2
doc/make/index.md
View file

@ -31,7 +31,7 @@ cmake --preset release
make -C build/release -j$(nproc || sysctl -n hw.logicalcpu) make -C build/release -j$(nproc || sysctl -n hw.logicalcpu)
``` ```
For development, `cmake --preset dev` is recommended instead. For development, `cmake --preset dev-release` (reusing the same `build/release` output directory) is recommended instead.
You can replace `$(nproc || sysctl -n hw.logicalcpu)` with the desired parallelism amount. You can replace `$(nproc || sysctl -n hw.logicalcpu)` with the desired parallelism amount.