Set up CI with Azure Pipelines

4 files changed, 34 insertions, 0 deletions

diff --git a/dev/ci/README-developers.md b/dev/ci/README-developers.md
index 6ca3aa2981..fa8962a06f 100644
--- a/dev/ci/README-developers.md
+++ b/dev/ci/README-developers.md
@@ -20,6 +20,9 @@ We are currently running tests on the following platforms:
 - AppVeyor is used to test the compilation of Coq and run the test-suite on
   Windows.
 
+- Azure Pipelines is used to test the compilation of Coq and run the
+  test-suite on Windows. It is expected to replace appveyor eventually.
+
 You can anticipate the results of most of these tests prior to submitting your
 PR by running GitLab CI on your private branches. To do so follow these steps:
 
diff --git a/dev/ci/azure-build.sh b/dev/ci/azure-build.sh
new file mode 100755
index 0000000000..c0030c566f
--- /dev/null
+++ b/dev/ci/azure-build.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+set -e -x
+
+cd $(dirname $0)/../..
+
+./configure -local
+make -j 2 byte
+make -j 2 world
diff --git a/dev/ci/azure-opam.sh b/dev/ci/azure-opam.sh
new file mode 100755
index 0000000000..8a1e36659c
--- /dev/null
+++ b/dev/ci/azure-opam.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+set -e -x
+
+OPAM_VARIANT=ocaml-variants.4.07.1+mingw64c
+
+wget https://github.com/fdopen/opam-repository-mingw/releases/download/0.0.0.2/opam64.tar.xz -O opam64.tar.xz
+tar -xf opam64.tar.xz
+bash opam64/install.sh
+
+opam init default -a -y "https://github.com/fdopen/opam-repository-mingw.git#opam2" -c $OPAM_VARIANT --disable-sandboxing
+eval "$(opam env)"
+opam install -y num ocamlfind ounit
diff --git a/dev/ci/azure-test.sh b/dev/ci/azure-test.sh
new file mode 100755
index 0000000000..8813245e5a
--- /dev/null
+++ b/dev/ci/azure-test.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+set -e -x
+
+#NB: if we make test-suite from the main makefile we get environment
+#too large for exec error
+cd $(dirname $0)/../../test-suite
+make -j 2 clean
+make -j 2 PRINT_LOGS=1