From 931b056a29ae08e8fe4dde71dc0a03f4ee2fe44d Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sat, 29 Jun 2019 10:15:58 +0000
Subject: [PATCH] cmake: Add libm to include paths.
---
dios/compile-flags.cmake | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dios/compile-flags.cmake b/dios/compile-flags.cmake
index b58a849d3..6acaf910d 100644
--- a/dios/compile-flags.cmake
+++ b/dios/compile-flags.cmake
@@ -16,6 +16,7 @@ list( APPEND flags -isystem${CMAKE_CURRENT_SOURCE_DIR}/libcxxabi/src )
list( APPEND flags -isystem${CMAKE_CURRENT_BINARY_DIR}/include ) # dios generated
list( APPEND flags -isystem${CMAKE_CURRENT_SOURCE_DIR}/include ) # dios
list( APPEND flags -isystem${CMAKE_CURRENT_SOURCE_DIR}/libm/ld80 )
+list( APPEND flags -isystem${CMAKE_CURRENT_SOURCE_DIR}/libm )
list( APPEND flags -isystem${divine_SOURCE_DIR}/ ) # for #includes starting with dios/
list( APPEND flags -isystem${divine_SOURCE_DIR}/bricks )
@@ -45,7 +46,7 @@ endforeach()
mklib( libc libc_cpp )
mklib( libm )
mklib( libcxxabi )
-mklib( libcxx)
+mklib( libcxx )
mklib( dios )
mklib( librst )
mklib( libpthread )
--
GitLab