From 97208c7f528f08a91afa99da0d43c6734d36cfa4 Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Thu, 14 May 2020 14:19:11 +0200
Subject: [PATCH] fix: define c++14 standard in CMakeLists.txt
---
CMakeLists.txt | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1b8f7bb..a3b0162 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -46,9 +46,16 @@ add_library(sylvan
tls.h
)
+set_target_properties(sylvan PROPERTIES
+ CXX_STANDARD 14
+ CXX_STANDARD_REQUIRED YES
+ CXX_EXTENSIONS NO
+)
+
target_link_libraries(sylvan -lpthread)
target_link_libraries(sylvan -lgmp)
if(UNIX AND NOT APPLE)
target_link_libraries(sylvan rt)
endif()
+
--
GitLab