From 6d3dcee3ead208e6e40979ad9252abf192cfbbd7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 21 Jul 2015 17:21:41 +0200
Subject: make opam meta-data

---
 etc/utils/packager | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 etc/utils/packager

diff --git a/etc/utils/packager b/etc/utils/packager
new file mode 100755
index 0000000..5a8138d
--- /dev/null
+++ b/etc/utils/packager
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+set -e
+set -x
+
+for pkg in algebra basic field character fingroup odd_order real_closed solvable ssreflect
+do
+pkgdir="$(git root)/extra-dev/packages/coq:mathcomp:$pkg/coq:mathcomp:$pkg.dev"
+mkdir -p $pkgdir
+cp $(git root)/mathcomp/$pkg/opam $pkgdir/opam
+sed -r "/^(build|install)/s?make?make \"-C\" \"mathcomp/$pkg\"?" -i $pkgdir/opam
+done
+
-- 
cgit v1.2.3