max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/lake/tests
History
tydeu 473d4c51ad feat: lake: better native object tracing 
* `weakLeanc/LinkArgs` for libs/mods/exes
* `weakArgs`/``extraDepTrace` for `buildO`
* include Lean trace when compiler is part of Lean toolchain
* do not include system-dependent file paths (e.g., `-I`) in dep trace
2023-09-14 02:15:37 -04:00
..
buildArgs feat: lake: better native object tracing 2023-09-14 02:15:37 -04:00
clone fix: lake: dep URL match check in updateGitRepo 2023-09-14 02:15:37 -04:00
env feat: lake: detect Elan install and Elan toolchain 2023-09-14 02:15:37 -04:00
globs test: lake: merge tests/102 into globs 2023-09-06 17:35:59 -04:00
init test: lake: move examples/init to tests 2023-09-06 17:35:59 -04:00
lock test: lake: rename test to tests 2023-09-06 17:35:59 -04:00
manifest test: lake: rename test to tests 2023-09-06 17:35:59 -04:00
meta test: lake: rename test to tests 2023-09-06 17:35:59 -04:00
old test: lake: give issue tests meaningful names 2023-09-06 17:35:59 -04:00
order feat: lake: maintain order of libs and deps 2023-09-14 02:15:37 -04:00
precompileArgs test: lake: rename test to tests 2023-09-06 17:35:59 -04:00
rebuild test: lake: give issue tests meaningful names 2023-09-06 17:35:59 -04:00
serve test: lake: merge 49 and 116 into tests/serve 2023-09-06 17:35:59 -04:00
toolchain test: lake: give issue tests meaningful names 2023-09-06 17:35:59 -04:00