diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1b8f7bb25e20e8f5c0cff9dd035099f934ed51b9..a3b0162a0ba558c6cfb96dfc7a0ee4899c87275a 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()
+