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

fix(src/CMakeLists.txt): debian deps for static and non-static builds

Browse source
This commit is contained in:
Soonho Kong 2015-04-30 12:38:44 -04:00
parent e8d894473e
commit 018cbe9447
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/CMakeLists.txt
View file

@ -479,7 +479,11 @@ else()
SET(CPACK_GENERATOR ZIP)
endif()
# CPack -- Debian
SET(CPACK_DEBIAN_PACKAGE_DEPENDS "python")
if(STATIC)
SET(CPACK_DEBIAN_PACKAGE_DEPENDS "python")
else()
SET(CPACK_DEBIAN_PACKAGE_DEPENDS "libstdc++-4.8-dev,libgmp-dev,libmpfr-dev,liblua5.2-dev,python")
endif()
SET(CPACK_DEBIAN_PACKAGE_DESCRIPTION "Lean Theorem Prover")
SET(CPACK_DEBIAN_PACKAGE_SECTION "devel")
include(CPack)