diff options
| author | Cyril Cohen | 2019-02-05 15:41:56 +0100 |
|---|---|---|
| committer | GitHub | 2019-02-05 15:41:56 +0100 |
| commit | b452b90322a19f190109d51ce423483bbff98e08 (patch) | |
| tree | 7678e388cdd52c4bf61239ec006be976c5ecdf4e /etc/utils/packager | |
| parent | 590adf7b207b7186121c949d0f0419445471269c (diff) | |
fix etc/utils/packager (#273)
Diffstat (limited to 'etc/utils/packager')
| -rwxr-xr-x | etc/utils/packager | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index 65203df..34cf3ec 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -70,14 +70,13 @@ for pkg in $PKGS do pkgdir="$PKGPREFIX/coq-mathcomp-$pkg/coq-mathcomp-$pkg.$VERSION" mkdir -p $pkgdir if [ $VERSION == "dev" ] - then cp $GITROOT/mathcomp/$pkg/opam $pkgdir/opam + then cp $GITROOT/coq-mathcomp-$pkg.opam $pkgdir/opam cp $GITROOT/mathcomp/$pkg/descr $pkgdir/descr - else git show "$BRANCH:mathcomp/$pkg/opam" > $pkgdir/opam + else git show "$BRANCH:coq-mathcomp-$pkg.opam" > $pkgdir/opam git show "$BRANCH:mathcomp/$pkg/descr" > $pkgdir/descr sed -r "/^version/s?dev?$VERSION?" -i $pkgdir/opam sed -r "/^depends.*coq-mathcomp.*/s?dev?$VERSION?" -i $pkgdir/opam fi - sed -r "/^(build|install)/s?make?make \"-C\" \"mathcomp/$pkg\"?" -i $pkgdir/opam echo $URLLINE > $pkgdir/url if [ $VERSION != "dev" ] then echo $CHECKSUMLINE >> $pkgdir/url |