add more 4.05 support, but disable by default as its still not working

.travis.yml

@@ -3,4 +3,3 @@ script: bash -ex .travis-ci.sh
 sudo: required
 env:
   - OCAML_VERSION=4.04
-  - OCAML_VERSION=4.05

mirage-xen-ocaml.opam

@@ -15,4 +15,4 @@ depends: [
   "ocaml-src"
   "ocamlbuild" {build}
 ]
-available: [ocaml-version >= "4.04.2" & ocaml-version <= "4.06.0" & os = "linux"]
+available: [ocaml-version >= "4.04.2" & ocaml-version <= "4.05.0" & os = "linux"]

xen-ocaml/build.sh

@@ -51,6 +51,7 @@ case `ocamlopt -version` in
   echo Applying OCaml 4.05 config
   cp config/version-405.h ocaml-src/byterun/caml/version.h
   BIGARRAY_OBJ=""
+  CFLAGS="-D__ANDROID__"
   ;;
 *)
   echo unsupported OCaml version `ocamlopt -version`

xen-ocaml/install.sh

@@ -28,8 +28,14 @@ fi
 
 PUBLIC_INCLUDES="alloc.h callback.h config.h custom.h fail.h hash.h intext.h \
   memory.h misc.h mlvalues.h printexc.h signals.h compatibility.h"
-for i in ${PUBLIC_INCLUDES}; do
-  sed -f ../tools/cleanup-header $HEADERS_SRC/$i > $idir/caml/$i
-done
-cd ../otherlibs/bigarray
-sed -f ../../tools/cleanup-header bigarray.h > $idir/caml/bigarray.h
+if [ -e ../tools/cleanup-header ]; then
+  for i in ${PUBLIC_INCLUDES}; do
+    sed -f ../tools/cleanup-header $HEADERS_SRC/$i > $idir/caml/$i
+  done
+  cd ../otherlibs/bigarray
+  sed -f ../../tools/cleanup-header bigarray.h > $idir/caml/bigarray.h
+else
+  for i in ${PUBLIC_INCLUDES} bigarray.h; do
+    cp ${HEADERS_SRC}/$i $idir/caml/$i
+  done
+fi