michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(examples/ex): move example to library

Browse source
This commit is contained in:
Leonardo de Moura 2015-05-13 17:07:10 -07:00
parent e0b39079eb
commit 51a30892a1
2 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
examples/ex.lean → library/examples/ex.lean
View file

6
src/CMakeLists.txt
View file

@ -263,12 +263,6 @@ ENDIF()
# Python # Python
find_package(PythonInterp REQUIRED) find_package(PythonInterp REQUIRED)
# Examples
file(GLOB LEANLIB "${LEAN_SOURCE_DIR}/../examples/*.lean")
FOREACH(FILE ${LEANLIB})
install_files(/examples FILES "${FILE}")
ENDFOREACH(FILE)
include_directories(${LEAN_SOURCE_DIR}) include_directories(${LEAN_SOURCE_DIR})
# Git HASH # Git HASH