diff options
| author | Cyril Cohen | 2019-04-08 17:45:16 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-04-08 17:59:44 +0200 |
| commit | 78b4d07568d5df23bd684e4b21ba63e9920debaa (patch) | |
| tree | a3ec33445879e57a0cd84b011ce6801f3d540343 /etc/utils | |
| parent | 9b8d64cd93474c48200c06ac0e5c3da62fbf915b (diff) | |
switching to opam 2.0 format
Diffstat (limited to 'etc/utils')
| -rwxr-xr-x | etc/utils/packager | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index 34cf3ec..408172c 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -43,7 +43,7 @@ GITROOT=$(git rev-parse --show-toplevel) if [ $VERSION == "dev" ] then # variables useful for package construction - URLLINE="git: \"https://github.com/math-comp/math-comp.git\"" + URLLINE="src: \"git+https://github.com/math-comp/math-comp.git\"" PKGS=$(sed -r "s/.*mathcomp\.([^\.]*)*.*/\1/" $GITROOT/mathcomp/all/all.v \ | paste -sd " " -) PKGPREFIX="$GITROOT/opam/extra-dev/packages" @@ -51,14 +51,14 @@ else ARCHIVE=$(mktemp) git archive --format=tgz --output=$ARCHIVE \ --prefix=math-comp-$TAG/ $TAG # reproduce github archive - SUM=$(md5sum $ARCHIVE | cut -d " " -f 1) + SUM=$(sha256sum $ARCHIVE | cut -d " " -f 1) EXTRACTED=$(mktemp -d) tar -C $EXTRACTED -zxvf $ARCHIVE # variables useful for package construction - URLLINE="http: \"$ARCHIVEURL\"" - CHECKSUMLINE="checksum: \"$SUM\"" - PKGS=$(ls -fs -d -1 $EXTRACTED/*/mathcomp/*/opam \ - | sed -r "s?.*mathcomp/([^/]+)/opam?\1?" \ + URLLINE="src: \"$ARCHIVEURL\"" + CHECKSUMLINE="checksum: \"sha256=$SUM\"" + PKGS=$(ls -fs -d -1 $EXTRACTED/*/*.opam \ + | sed -r "s?.*coq-mathcomp-([^/]+).opam?\1?" \ | paste -sd " " -) PKGPREFIX="$GITROOT/opam/released/packages" fi @@ -71,16 +71,17 @@ do pkgdir="$PKGPREFIX/coq-mathcomp-$pkg/coq-mathcomp-$pkg.$VERSION" mkdir -p $pkgdir if [ $VERSION == "dev" ] then cp $GITROOT/coq-mathcomp-$pkg.opam $pkgdir/opam - cp $GITROOT/mathcomp/$pkg/descr $pkgdir/descr 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 - echo $URLLINE > $pkgdir/url + echo "" >> $pkgdir/opam + echo "url {" >> $pkgdir/opam + echo $URLLINE >> $pkgdir/opam if [ $VERSION != "dev" ] - then echo $CHECKSUMLINE >> $pkgdir/url + then echo $CHECKSUMLINE >> $pkgdir/opam fi + echo "}" >> $pkgdir/opam done # finally test the existence of the archive |