From 332d85dc6c69fbcc2aae7b9d4af975fb43769b05 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 30 May 2017 23:43:09 -0400 Subject: Add coq-dpdgraph CI --- dev/ci/ci-basic-overlay.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index a6972c9500..8bd68f4ee6 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -112,6 +112,12 @@ : ${formal_topology_CI_BRANCH:=ci} : ${formal_topology_CI_GITURL:=https://github.com/bmsherman/topology.git} +######################################################################## +# coq-dpdgraph +######################################################################## +: ${coq_dpdgraph_CI_BRANCH:=master} +: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} + ######################################################################## # CoLoR ######################################################################## -- cgit v1.2.3 From f371ead0234693ab8f68591d160cc2ee4dd8509f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 2 Jun 2017 20:12:23 -0400 Subject: Add an overlay for coq-dpdgraph for 8.7 --- dev/ci/ci-basic-overlay.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 8bd68f4ee6..73a3ba04f2 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -115,8 +115,11 @@ ######################################################################## # coq-dpdgraph ######################################################################## -: ${coq_dpdgraph_CI_BRANCH:=master} -: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} +# Temporary overlay +: ${coq_dpdgraph_CI_BRANCH:=trunk+clobber-test-suite} +: ${coq_dpdgraph_CI_GITURL:=https://github.com/JasonGross/coq-dpdgraph.git} +#: ${coq_dpdgraph_CI_BRANCH:=master} +#: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} ######################################################################## # CoLoR -- cgit v1.2.3 From 29ba5cdc0ea31ea62c727f8dcf53d2c805d4bcb3 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 8 Jun 2017 13:07:00 -0400 Subject: Remove coq-dpdgraph overlay --- dev/ci/ci-basic-overlay.sh | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 73a3ba04f2..81f4c87177 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -115,11 +115,8 @@ ######################################################################## # coq-dpdgraph ######################################################################## -# Temporary overlay -: ${coq_dpdgraph_CI_BRANCH:=trunk+clobber-test-suite} -: ${coq_dpdgraph_CI_GITURL:=https://github.com/JasonGross/coq-dpdgraph.git} -#: ${coq_dpdgraph_CI_BRANCH:=master} -#: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} +: ${coq_dpdgraph_CI_BRANCH:=coq-trunk} +: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} ######################################################################## # CoLoR -- cgit v1.2.3 From 75f42c5c4f350f301ef1968459f4f19f7a349ad4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 11 Jun 2017 20:22:43 -0400 Subject: Point ci-hott at a newer version of HoTT --- dev/ci/ci-basic-overlay.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index a6972c9500..d75011de3f 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -46,8 +46,8 @@ ######################################################################## # HoTT ######################################################################## -# Temporal overlay -: ${HoTT_CI_BRANCH:=mz-8.7} +# Temporary overlay +: ${HoTT_CI_BRANCH:=ocaml.4.02.3} : ${HoTT_CI_GITURL:=https://github.com/ejgallego/HoTT.git} # : ${HoTT_CI_BRANCH:=master} # : ${HoTT_CI_GITURL:=https://github.com/HoTT/HoTT.git} -- cgit v1.2.3 From 013c0232953f1f5832c30940119da05847e99ce2 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 12 Jun 2017 15:43:12 +0200 Subject: Temporary overlay, waiting for upstream PR merges. --- dev/ci/ci-basic-overlay.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index a6972c9500..7a9df93c45 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -85,8 +85,8 @@ ######################################################################## # fiat_parsers ######################################################################## -: ${fiat_parsers_CI_BRANCH:=master} -: ${fiat_parsers_CI_GITURL:=https://github.com/mit-plv/fiat.git} +: ${fiat_parsers_CI_BRANCH:=trunk__API} +: ${fiat_parsers_CI_GITURL:=https://github.com/matejkosik/fiat.git} ######################################################################## # fiat_crypto @@ -97,14 +97,14 @@ ######################################################################## # bedrock_src ######################################################################## -: ${bedrock_src_CI_BRANCH:=master} -: ${bedrock_src_CI_GITURL:=https://github.com/mit-plv/bedrock.git} +: ${bedrock_src_CI_BRANCH:=trunk__API} +: ${bedrock_src_CI_GITURL:=https://github.com/matejkosik/bedrock.git} ######################################################################## # bedrock_facade ######################################################################## -: ${bedrock_facade_CI_BRANCH:=master} -: ${bedrock_facade_CI_GITURL:=https://github.com/mit-plv/bedrock.git} +: ${bedrock_facade_CI_BRANCH:=trunk__API} +: ${bedrock_facade_CI_GITURL:=https://github.com/matejkosik/bedrock.git} ######################################################################## # formal-topology -- cgit v1.2.3 From 0fd563c07433db5aad5c5a3f196ea692bb60c04e Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Tue, 6 Jun 2017 21:22:15 +0200 Subject: [travis] extra test ci-bignums (+factorize other scripts) --- dev/ci/ci-basic-overlay.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 3adc319355..98d342412a 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -133,3 +133,9 @@ ######################################################################## : ${tlc_CI_BRANCH:=master} : ${tlc_CI_GITURL:=https://gforge.inria.fr/git/tlc/tlc.git} + +######################################################################## +# Bignums +######################################################################## +: ${bignums_CI_BRANCH:=master} +: ${bignums_CI_GITURL:=https://github.com/coq/bignums.git} -- cgit v1.2.3 From 7e63c300a3aa1e3befb29bab9094e8b1939824bb Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 13 Jun 2017 17:22:42 +0200 Subject: Temporary overlays for bignums. --- dev/ci/ci-basic-overlay.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'dev/ci/ci-basic-overlay.sh') diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 98d342412a..54db58c01f 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -28,11 +28,11 @@ ######################################################################## # Mathclasses + Corn ######################################################################## -: ${math_classes_CI_BRANCH:=v8.6} -: ${math_classes_CI_GITURL:=https://github.com/math-classes/math-classes.git} +: ${math_classes_CI_BRANCH:=external-bignums} +: ${math_classes_CI_GITURL:=https://github.com/letouzey/math-classes.git} -: ${Corn_CI_BRANCH:=v8.6} -: ${Corn_CI_GITURL:=https://github.com/c-corn/corn.git} +: ${Corn_CI_BRANCH:=external-bignums} +: ${Corn_CI_GITURL:=https://github.com/letouzey/corn.git} ######################################################################## # Iris -- cgit v1.2.3