diff options
| author | Cyril Cohen | 2017-10-20 02:42:37 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2017-10-20 02:42:37 +0200 |
| commit | 33477fadfd9533fac08f888527c7ad3083899af2 (patch) | |
| tree | 0f40ee4848101e233001b4d158d497806abddad6 /etc/utils | |
| parent | 7d28da695934872303302799c7779c600f981da5 (diff) | |
reproduce github archive locally rather than downloading, much faster
Diffstat (limited to 'etc/utils')
| -rwxr-xr-x | etc/utils/packager | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index daee789..d0c4b17 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -48,7 +48,8 @@ then PKGPREFIX="$(git root)/opam/extra-dev/packages" else ARCHIVE=$(mktemp) - wget -O $ARCHIVE $ARCHIVEURL + git archive --format=tgz --output=$ARCHIVE \ + --prefix=math-comp-$TAG/ $TAG # reproduce github archive SUM=$(md5sum $ARCHIVE | cut -d " " -f 1) EXTRACTED=$(mktemp -d) tar -C $EXTRACTED -zxvf $ARCHIVE @@ -81,3 +82,6 @@ do pkgdir="$PKGPREFIX/coq-mathcomp-$pkg/coq-mathcomp-$pkg.$VERSION" then echo $CHECKSUMLINE >> $pkgdir/url fi done + +# finally test the existence of the archive +wget --spider $ARCHIVEURL |