Commit 0dcf3c8b authored by Swergas's avatar Swergas

Trying a fix against unavailability of forge.ocamlcore.org

parent f8001950
......@@ -30,6 +30,9 @@ build_and_test_with_debian_image:
script:
# Install required packages
- sudo apt-get update -qq && sudo apt-get install -y -qq build-essential libgmp-dev libpcre3-dev pkg-config m4 libssl-dev libsqlite3-dev wget ca-certificates unzip aspcud libncurses-dev uuid-runtime zlib1g-dev
# Trying a fix against unavailability of http://forge.ocamlcore.org, using http://forge-static.ocamlcore.org instead
- opam pin add calendar http://forge-static.ocamlcore.org/frs/download.php/1481/calendar-2.04.tar.gz
- opam pin add ocamlify http://forge-static.ocamlcore.org/frs/download.php/379/ocamlify-0.0.1.tar.gz
# Install the same Opam packages that opam-bootstrap.sh installs
- eval `grep "opam install" ./opam-bootstrap.sh`
# Compile belenios
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment