From 9467c6e611eb9d78b47d8e02354f84bb083ccbe0 Mon Sep 17 00:00:00 2001 From: Anton Trunov Date: Thu, 20 Aug 2020 14:18:16 +0300 Subject: [PATCH] OCaml 4.11 is supported (#880) --- .travis.yml | 3 +++ scilla.opam | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index ef5088b06..f34d84baf 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,6 +3,9 @@ sudo: required matrix: include: + - os: linux + dist: xenial + env: OCAML_VERSION=4.11.0 - os: linux dist: xenial env: OCAML_VERSION=4.10.0 diff --git a/scilla.opam b/scilla.opam index cfcd3ee73..449a3e765 100644 --- a/scilla.opam +++ b/scilla.opam @@ -29,7 +29,7 @@ depends: [ "fileutils" {>= "0.5.3" & < "0.7~"} "hex" {>= "1.3.0" & < "1.5~"} "menhir" - "ocaml" {>= "4.08.0" & < "4.11~"} + "ocaml" {>= "4.08.0" & < "4.12~"} "ocaml-protoc" {>= "1.2.0" & < "2.1~"} "ounit" {>= "2.0.8" & < "2.3~"} "patdiff" {>= "v0.14.0" & < "v0.15~"}