From 23dc083d5eeaabe6af289001e416648b886943db Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Sun, 30 Aug 2015 00:00:06 +0100
Subject: [PATCH] Sync latest compiler pull requests

---
 compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.comp  | 11 +++++++++++
 compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.descr |  1 +
 2 files changed, 12 insertions(+)
 create mode 100644 compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.comp
 create mode 100644 compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.descr

diff --git a/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.comp b/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.comp
new file mode 100644
index 00000000000..70df4565ff0
--- /dev/null
+++ b/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.comp
@@ -0,0 +1,11 @@
+opam-version: "1"
+version: "4.03.0"
+src: "https://github.com/marklrh/ocaml/archive/empty_list_user_defined_constructor.tar.gz"
+build: [
+  ["./configure" "-prefix" prefix "-with-debug-runtime"]
+  [make "world"]
+  [make "world.opt"]
+  [make "install"]
+]
+packages: [ "base-unix" "base-bigarray" "base-threads" ]
+env: [[CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]]
diff --git a/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.descr b/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.descr
new file mode 100644
index 00000000000..ac94ad5af64
--- /dev/null
+++ b/compilers/4.03.0/4.03.0+pr234/4.03.0+pr234.descr
@@ -0,0 +1 @@
+Allow ``[]`` as a user-defined constructor
\ No newline at end of file