From 3185719fe5e1bc5e271f530b3e0d8d07234da02c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 16 Oct 2017 14:14:28 +0200
Subject: [PATCH] fix for linking issue under linux, adding missing l3pp
 dependency l3pp_ext

---
 resources/3rdparty/CMakeLists.txt | 1 +
 src/storm/utility/constants.cpp   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index cb7e064ec..f5606a095 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -27,6 +27,7 @@ ExternalProject_Get_Property(l3pp_ext source_dir)
 set(l3pp_INCLUDE "${source_dir}/")
 add_imported_library_interface(l3pp "${l3pp_INCLUDE}")
 list(APPEND STORM_DEP_TARGETS l3pp)
+add_dependencies(l3pp l3pp_ext)
 
 #############################################################
 ##
diff --git a/src/storm/utility/constants.cpp b/src/storm/utility/constants.cpp
index fac7bea78..ba6f751b7 100644
--- a/src/storm/utility/constants.cpp
+++ b/src/storm/utility/constants.cpp
@@ -497,7 +497,7 @@ namespace storm {
         }
 
         template<>
-        GmpRationalNumber convertNumber(uint_fast64_t const& number){
+        GmpRationalNumber convertNumber(unsigned long long const& number){
             STORM_LOG_ASSERT(static_cast<carl::uint>(number) == number, "Rationalizing failed, because the number is too large.");
             return carl::rationalize<GmpRationalNumber>(static_cast<carl::uint>(number));
         }