summaryrefslogtreecommitdiff
path: root/vendor/optional.cmake
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/optional.cmake')
-rw-r--r--vendor/optional.cmake10
1 files changed, 10 insertions, 0 deletions
diff --git a/vendor/optional.cmake b/vendor/optional.cmake
new file mode 100644
index 0000000000..157ccc991d
--- /dev/null
+++ b/vendor/optional.cmake
@@ -0,0 +1,10 @@
+add_library(optional INTERFACE)
+
+# This polyfill is really only needed for
+# Windows. We need to be careful to not leak
+# it into any of our public interfaces.
+if(WIN32)
+ target_include_directories(optional SYSTEM INTERFACE
+ ${CMAKE_SOURCE_DIR}/vendor/optional/include
+ )
+endif()