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

fix(leanpkg,CMakeLists): fix installation

Browse source
This commit is contained in:
Gabriel Ebner 2017-05-09 17:17:10 +02:00
parent 216d619d90
commit 8f7608433a
2 changed files with 13 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
bin/leanpkg
View file

@ -9,6 +9,9 @@ fi
leandir=$(dirname $($READLINK -f $0))/..
leandir=$($READLINK -f $leandir)
LEAN_PATH=$leandir/library:$leandir/lib/lean/library:$leandir/leanpkg \
librarydir="$leandir/lib/lean"
test -d "$librarydir" || librarydir="$leandir"
LEAN_PATH=$librarydir/library:$librarydir/leanpkg \
PATH=$leandir/bin:$PATH \
exec lean --run $leandir/leanpkg/leanpkg/main.lean "$@"
exec lean --run $librarydir/leanpkg/leanpkg/main.lean "$@"

9
src/CMakeLists.txt
View file

@ -495,7 +495,14 @@ install(DIRECTORY "${CMAKE_SOURCE_DIR}/../library" DESTINATION "${LIBRARY_DIR}"
FILES_MATCHING
PATTERN "*.lean"
PATTERN "*.olean"
PATTERN ".project"
PATTERN "leanpkg.toml"
PATTERN "*.md")
install(DIRECTORY "${CMAKE_SOURCE_DIR}/../leanpkg" DESTINATION "${LIBRARY_DIR}"
FILES_MATCHING
PATTERN "*.lean"
PATTERN "*.olean"
PATTERN "leanpkg.toml"
PATTERN "*.md")
install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION "${LEAN_EXT_INCLUDE_DIR}"