configuration adjustments for Coq 8.12

DistributedComponents · Jul 26, 2020 · 0418990 · 0418990
1 parent d434d5f
commit 0418990
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 5 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,9 @@
-opam: &OPAM
-  language: minimal
-  sudo: required
+os: linux
+dist: bionic
+language: shell
+
+.opam: &OPAM
+  language: shell
   services: docker
   install: |
     # Prepare the COQ container
@@ -30,7 +33,7 @@ opam: &OPAM
   - docker stop COQ  # optional
   - echo -en 'travis_fold:end:script\\r'
 
-matrix:
+jobs:
   include:
 
   # Test supported versions of Coq via OPAM

diff --git a/LICENSE b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2016-2019, Distributed Components Team.
+Copyright (c) 2016-2020, Distributed Components Team.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

diff --git a/_CoqProject b/_CoqProject
@@ -6,6 +6,7 @@
 -arg -w -arg -redundant-canonical-projection
 -arg -w -arg -projection-no-head-constant
 -arg -w -arg -duplicate-clear
+-arg -w -arg -notation-incompatible-format
 
 Core/Domain.v
 Core/State.v