1 files changed, 19 insertions, 0 deletions
diff --git a/libraries/base/cbits/sysconf.c b/libraries/base/cbits/sysconf.c
new file mode 100644
index 0000000000..bbf785326a
--- /dev/null
+++ b/libraries/base/cbits/sysconf.c
@@ -0,0 +1,19 @@
+#include "HsBaseConfig.h"
+
+/* For _SC_CLK_TCK */
+#if HAVE_UNISTD_H
+#include <unistd.h>
+#endif
+
+/* for CLK_TCK */
+#if HAVE_TIME_H
+#include <time.h>
+#endif
+
+long clk_tck(void) {
+#if defined(CLK_TCK)
+    return (CLK_TCK);
+#else
+    return sysconf(_SC_CLK_TCK);
+#endif
+}