+ << "Build options: ";
+
+#if ENABLE_CLOCK_GETTIME
+ print_option("clock_gettime", true);
+#else
+ print_option("clock_gettime", false);
+#endif
+#if DEBUG
+ print_option("debug", true);
+#else
+ print_option("debug", false);
+#endif
+#if ENABLE_DOUBLE_PRECISION
+ print_option("double", true);
+#else
+ print_option("double", false);