Merge pull request #178 from yomimono/os-type-xen

for compiler version 4.04, set OCAML_OS_TYPE to "xen"
mirage · Jan 18, 2017 · 6453a84 · 6453a84
2 parents 05b0aad + d4ccedc
commit 6453a84
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/xen-ocaml/build.sh b/xen-ocaml/build.sh
@@ -55,6 +55,7 @@ case `ocamlopt -version` in
   echo Applying OCaml 4.04 config
   cp config/version-404.h ocaml-src/byterun/caml/version.h
   patch < clambda-warnings.patch -p 0
+  patch < os-type-xen.patch -p 0
 esac
 
 cp config/s.h ocaml-src/config/

diff --git a/xen-ocaml/os-type-xen.patch b/xen-ocaml/os-type-xen.patch
@@ -0,0 +1,10 @@
+define OCAML_OS_TYPE as "xen".  Only a good idea for compiler versions >= 4.04.0.
+See https://github.com/mirage/mirage-platform/pull/78/ .
+--- config/s.h
++++ config/s.h
+@@ -1,4 +1,4 @@
+-#define OCAML_OS_TYPE "Unix"
++#define OCAML_OS_TYPE "xen"
+ #define OCAML_STDLIB_DIR "/usr/local/lib/ocaml"
+ #define POSIX_SIGNALS
+ //#define HAS_GETRUSAGE