From 282be9612e139e42af481338cb5fcafe56f58e07 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 14 Oct 2016 09:44:15 +0200
Subject: [PATCH 1/2] fixed typo in header inclusion
Former-commit-id: 7039fe5a3555aca5ec2c8a240221d0d3a0050bfa [formerly 4050360481d33fd40c9f8be22e0b79dbf8d38c74]
Former-commit-id: 266f1e06598d5828ae36611f3119ace055bb4cb2
---
src/storage/jani/Property.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storage/jani/Property.h b/src/storage/jani/Property.h
index bde51865e..dc6aab23b 100644
--- a/src/storage/jani/Property.h
+++ b/src/storage/jani/Property.h
@@ -1,6 +1,6 @@
#pragma once
-#include "src/logic/formulas.h"
+#include "src/logic/Formulas.h"
namespace storm {
namespace jani {
From 6f663bde0ebd95fadebab7ea0b4f47672d750060 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 14 Oct 2016 10:35:17 +0200
Subject: [PATCH 2/2] fixing hwloc entry in CMakeLists.txt
Former-commit-id: 1359cb4b148859cf9d28a4ac25490fa99de291b8 [formerly 9a108db302551e3fbe9e5689bea7bdad465cebf0]
Former-commit-id: ab87e2002eb66a4e915796119ef4d6db222a7874
---
resources/3rdparty/CMakeLists.txt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index dcc98e937..ffd5fc54c 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -331,8 +331,8 @@ add_dependencies(resources sylvan)
if(${OPERATING_SYSTEM} MATCHES "Linux")
find_package(Hwloc QUIET REQUIRED)
if(HWLOC_FOUND)
- message(STATUS "StoRM - Linking with hwloc ${Hwloc_VERSION}")
- list(APPEND STORM_LINK_LIBRARIES ${Hwloc_LIBRARIES})
+ message(STATUS "StoRM - Linking with hwloc ${HWLOC_VERSION}")
+ list(APPEND STORM_LINK_LIBRARIES ${HWLOC_LIBRARIES})
else()
message(FATAL_ERROR "HWLOC is required but was not found.")
endif()