From 9fc9b25944d3edd2a8afbb0cba7d73fe5eb5c900 Mon Sep 17 00:00:00 2001
From: Jeremy Yallop <yallop@gmail.com>
Date: Wed, 26 Jul 2017 08:56:47 +0100
Subject: [PATCH] Pull BER n100 sources from the github mirror.

The patch file is no longer available at the current URL.
---
 compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp b/compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp
index 51c4cbe5a42..1eb9775edfa 100644
--- a/compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp
+++ b/compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp
@@ -1,16 +1,15 @@
 opam-version: "1"
 version: "4.00.1"
-src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.bz2"
-patches: ["http://eneide.happyleptic.org/~rixed/metaocaml-opam/ber.patch"]
+src: "https://github.com/metaocaml/ber-metaocaml/archive/ber-N100.tar.gz"
 build: [
   ["./configure" "-prefix" prefix "-no-tk"]
+  [make "-C" "metalib" "patch"]
   [make "core"]
   [make "coreboot"]
   [make "all"]
-  [make "ocamlopt"]
   [make "-i" "install"]
-  [make "-C" "ber-metaocaml-100" "all"]
-  [make "-C" "ber-metaocaml-100" "install"]
+  [make "-C" "metalib" "all"]
+  [make "-C" "metalib" "install"]
 ]
 packages: [
   "base-unix"