Browse Source

fix for linking issue under linux, adding missing l3pp dependency l3pp_ext

tempestpy_adaptions
dehnert 7 years ago
parent
commit
3185719fe5
  1. 1
      resources/3rdparty/CMakeLists.txt
  2. 2
      src/storm/utility/constants.cpp

1
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)
#############################################################
##

2
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));
}
Loading…
Cancel
Save