7 lines
251 B
Bash
Executable file
7 lines
251 B
Bash
Executable file
#!/usr/bin/env bash
|
|
leandir=$(dirname $(readlink -f $0))/..
|
|
leandir=$(readlink -f $leandir)
|
|
|
|
LEAN_PATH=$leandir/library:$leandir/lib/lean/library:$leandir/leanpkg \
|
|
PATH=$leandir/bin:$PATH \
|
|
exec lean --run $leandir/leanpkg/leanpkg/main.lean "$@"
|