Skip to content

Commit

Permalink
Download tarballs from GitHub instead of inria
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jun 14, 2024
1 parent fbd9e7d commit e47154c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/scripts/ocaml-cache.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

. .github/scripts/preamble.sh

wget "http://caml.inria.fr/pub/distrib/ocaml-${OCAML_VERSION%.*}/ocaml-$OCAML_VERSION.tar.gz"
tar -xzf "ocaml-$OCAML_VERSION.tar.gz"
wget "https://github.com/ocaml/ocaml/archive/${OCAML_VERSION}.tar.gz"
tar -xzf "$OCAML_VERSION.tar.gz"

case "${OCAML_VERSION%.*}" in
4.02) PATCHES='db1c4d4cdc9ede9b1178a262d1f4d93663eef2f3 9de2b77472aee18a94b41cff70caee27fb901225';;
Expand Down

0 comments on commit e47154c

Please sign in to comment.