From 1dcf5516ab772a6d5325d42c2ceaf727fe88bb86 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 14 Feb 2018 17:09:45 +0100
Subject: ci: add elpi

---
 .circleci/config.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 9b0cc2119..441d89d42 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -191,7 +191,7 @@ jobs:
     environment:
       <<: *envvars
       EXTRA_PACKAGES: *coqide-packages
-      EXTRA_OPAM: "ocamlgraph"
+      EXTRA_OPAM: "ocamlgraph ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree"
 
   opam-boot-32bit:
     <<: *opam-boot-template
@@ -286,6 +286,9 @@ jobs:
       <<: *ci-template-vars
       EXTRA_PACKAGES: "time python autoconf automake"
 
+  elpi:
+    <<: *ci-template
+
   equations:
     <<: *ci-template
 
@@ -369,6 +372,7 @@ workflows:
       - compcert: *req-main
       - coq-dpdgraph: *req-main
       - coquelicot: *req-main
+      - elpi: *req-main
       - equations: *req-main
       - geocoq: *req-main
       - fiat-crypto: *req-main
-- 
cgit v1.2.3