diff options
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/utils/packager | 13 |
1 files changed, 13 insertions, 0 deletions
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 + |