From 40e7685b20e385749d9de1097e43f404fc24c285 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 6 Apr 2020 10:14:06 +0200
Subject: [win] addon for elpi

---
 dev/build/windows/makecoq_mingw.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index b6424dbfb4..8fbd8dec20 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1955,6 +1955,21 @@ function make_addon_gappa {
   fi
 }
 
+# Elpi: extension language for Coq based. It lets one define commands in tactics
+# in a high level programming language with support for binders and unification
+# variables.
+
+function make_addon_elpi {
+  make_elpi
+  installer_addon_dependency elpi
+  if build_prep_overlay elpi ; then
+    installer_addon_section elpi "Elpi extension language" "Coq plugin for the Elpi extension language" ""
+    logn build make
+    logn installe make install
+    build_post
+  fi
+}
+
 # Main function for building addons
 
 function make_addons {
-- 
cgit v1.2.3