Sebastian Ullrich
|
3dcd4febd9
|
feat: make LEAN_PATH a mapping from package names to root dirs, remove C++ impl
|
2019-11-20 16:39:53 +01:00 |
|
Sebastian Ullrich
|
572926f5ce
|
perf(shell/CMakeLists.txt, tests/): define NDEBUG in leanc release builds
`assert` is now being used by the C runtime
|
2019-08-27 16:54:29 +02:00 |
|
Sebastian Ullrich
|
f160fd8de0
|
chore(tests): compile tests using -O3 again
|
2019-03-18 17:55:28 +01:00 |
|
Sebastian Ullrich
|
f6d3062524
|
feat(bin/leanc): add simple C++ compiler wrapper script
|
2019-03-18 16:11:30 +01:00 |
|
Sebastian Ullrich
|
850001b996
|
test(tests/playground): rbmap.hs, Makefile
|
2019-02-26 20:26:55 +01:00 |
|
Sebastian Ullrich
|
c4bc783ef4
|
test(tests/playground/run.sh): split out compile.sh
|
2019-02-26 20:25:30 +01:00 |
|