# HG changeset patch
# User wenzelm
# Date 1553350652 -3600
# Node ID 96905404ffba7dfc739d6a19d9c318598bba45b5
# Parent  3544cca7920f3678fe2eaebda1a37521856cc24b
more explicit opam dependencies;

diff -r 3544cca7920f -r 96905404ffba Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Mar 22 22:37:30 2019 +0100
+++ b/Admin/components/components.sha1	Sat Mar 23 15:17:32 2019 +0100
@@ -169,6 +169,7 @@
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
 fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
+eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba  opam-2.0.3-1.tar.gz
 002f74c9e65e650de2638bf54d7b012b8de76c28  opam-2.0.3.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
 a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
diff -r 3544cca7920f -r 96905404ffba Admin/components/main
--- a/Admin/components/main	Fri Mar 22 22:37:30 2019 +0100
+++ b/Admin/components/main	Sat Mar 23 15:17:32 2019 +0100
@@ -11,7 +11,7 @@
 jortho-1.0-2
 kodkodi-1.5.2-1
 nunchaku-0.5
-opam-2.0.3
+opam-2.0.3-1
 polyml-5.8
 postgresql-42.2.5
 scala-2.12.8
diff -r 3544cca7920f -r 96905404ffba Admin/ocaml/opam/README
--- a/Admin/ocaml/opam/README	Fri Mar 22 22:37:30 2019 +0100
+++ b/Admin/ocaml/opam/README	Sat Mar 23 15:17:32 2019 +0100
@@ -3,8 +3,10 @@
 The executables for x86_64-linux and x86_64-darwin are from
 https://github.com/ocaml/opam/releases/tag/2.0.3
 
-The executable for x86_64-cygwin is provided as a Cygwin package.
+In order to work properly, the underlying OS platform needs to provide
+standard build tools for C/OCaml development. Cygwin requires a separate
+package "opam" version 2.0.x.
 
 
     Makarius
-    21-Mar-2018
+    23-Mar-2018
diff -r 3544cca7920f -r 96905404ffba Admin/ocaml/opam/x86_64-cygwin/opam
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/ocaml/opam/x86_64-cygwin/opam	Sat Mar 23 15:17:32 2019 +0100
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+if [ -e /usr/bin/opam ]; then
+  exec /usr/bin/opam "$@"
+else
+  echo >&2 "Missing opam executable: please install Cygwin package \"opam\" version 2.0.x"
+  exit 2
+fi