Skip to content

Instantly share code, notes, and snippets.

@adarobin
Created May 5, 2018 00:30
Show Gist options
  • Save adarobin/97b89af41a895c68b5b71b3e2d5de646 to your computer and use it in GitHub Desktop.
Save adarobin/97b89af41a895c68b5b71b3e2d5de646 to your computer and use it in GitHub Desktop.
unix_utils-c.patch
diff --git a/common/mlutils/unix_utils-c.c b/common/mlutils/unix_utils-c.c
index 1b5eb7957..6d8aa0b6c 100644
--- a/common/mlutils/unix_utils-c.c
+++ b/common/mlutils/unix_utils-c.c
@@ -55,6 +55,10 @@
#include <windows.h>
#endif
+#ifdef __APPLE__ && __MACH__
+#include <sys/mount.h>
+#endif
+
#include <caml/alloc.h>
#include <caml/fail.h>
#include <caml/memory.h>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment