From 018cbe94471296897503dde5ff881bb620cc1ea0 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 30 Apr 2015 12:38:44 -0400 Subject: [PATCH] fix(src/CMakeLists.txt): debian deps for static and non-static builds --- src/CMakeLists.txt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index bcb9fd2d77..8bef70fc7f 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -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)