diff options
| author | Cyril Cohen | 2015-07-22 13:15:24 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-07-22 13:15:24 +0200 |
| commit | adc15deaa15483dd1fa7c9e1447c068a7a5c1dc5 (patch) | |
| tree | 999fbb56c313071f68c6bbb5153f79f6d20a926e /etc | |
| parent | 80471736932aee0a4287345ea8ffb10ca42b7165 (diff) | |
opam meta-data +url
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/utils/packager | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index fc645cb..4ede812 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -10,5 +10,6 @@ mkdir -p $pkgdir cp $(git root)/mathcomp/$pkg/opam $pkgdir/opam cp $(git root)/mathcomp/$pkg/descr $pkgdir/descr sed -r "/^(build|install)/s?make?make \"-C\" \"mathcomp/$pkg\"?" -i $pkgdir/opam +echo "git: \"https://github.com/math-comp/math-comp.git\"" > $pkgdir/url done |