From b452b90322a19f190109d51ce423483bbff98e08 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 5 Feb 2019 15:41:56 +0100
Subject: fix etc/utils/packager (#273)

---
 etc/utils/packager | 5 ++---
 1 file 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
-- 
cgit v1.2.3