more explicit opam dependencies;
authorwenzelm
Sat Mar 23 15:17:32 2019 +0100 (4 weeks ago)
changeset 6995496905404ffba
parent 69953 3544cca7920f
child 69955 160fcaf502d7
more explicit opam dependencies;
Admin/components/components.sha1
Admin/components/main
Admin/ocaml/opam/README
Admin/ocaml/opam/x86_64-cygwin/opam
     1.1 --- a/Admin/components/components.sha1	Fri Mar 22 22:37:30 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Sat Mar 23 15:17:32 2019 +0100
     1.3 @@ -169,6 +169,7 @@
     1.4  26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
     1.5  e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
     1.6  fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
     1.7 +eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba  opam-2.0.3-1.tar.gz
     1.8  002f74c9e65e650de2638bf54d7b012b8de76c28  opam-2.0.3.tar.gz
     1.9  1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
    1.10  a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
     2.1 --- a/Admin/components/main	Fri Mar 22 22:37:30 2019 +0100
     2.2 +++ b/Admin/components/main	Sat Mar 23 15:17:32 2019 +0100
     2.3 @@ -11,7 +11,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2-1
     2.6  nunchaku-0.5
     2.7 -opam-2.0.3
     2.8 +opam-2.0.3-1
     2.9  polyml-5.8
    2.10  postgresql-42.2.5
    2.11  scala-2.12.8
     3.1 --- a/Admin/ocaml/opam/README	Fri Mar 22 22:37:30 2019 +0100
     3.2 +++ b/Admin/ocaml/opam/README	Sat Mar 23 15:17:32 2019 +0100
     3.3 @@ -3,8 +3,10 @@
     3.4  The executables for x86_64-linux and x86_64-darwin are from
     3.5  https://github.com/ocaml/opam/releases/tag/2.0.3
     3.6  
     3.7 -The executable for x86_64-cygwin is provided as a Cygwin package.
     3.8 +In order to work properly, the underlying OS platform needs to provide
     3.9 +standard build tools for C/OCaml development. Cygwin requires a separate
    3.10 +package "opam" version 2.0.x.
    3.11  
    3.12  
    3.13      Makarius
    3.14 -    21-Mar-2018
    3.15 +    23-Mar-2018
     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/Admin/ocaml/opam/x86_64-cygwin/opam	Sat Mar 23 15:17:32 2019 +0100
     4.3 @@ -0,0 +1,8 @@
     4.4 +#!/usr/bin/env bash
     4.5 +
     4.6 +if [ -e /usr/bin/opam ]; then
     4.7 +  exec /usr/bin/opam "$@"
     4.8 +else
     4.9 +  echo >&2 "Missing opam executable: please install Cygwin package \"opam\" version 2.0.x"
    4.10 +  exit 2
    4.11 +fi