diff options
author | Nils Gillmann <gillmann@gnunet.org> | 2018-05-31 13:50:32 +0000 |
---|---|---|
committer | Nils Gillmann <gillmann@gnunet.org> | 2018-05-31 13:50:32 +0000 |
commit | 5cf58a8cffb0bea521f5cd33dfc2c5bff1baee56 (patch) | |
tree | d5a4af023cf29b1b91ebcac42168dccd6f948b7d /aux-gnurl | |
parent | 55d4787610a55fd800921a81ca1442aba9c24a3a (diff) | |
download | gnurl-5cf58a8cffb0bea521f5cd33dfc2c5bff1baee56.tar.gz gnurl-5cf58a8cffb0bea521f5cd33dfc2c5bff1baee56.tar.bz2 gnurl-5cf58a8cffb0bea521f5cd33dfc2c5bff1baee56.zip |
import of old repository
Signed-off-by: Nils Gillmann <gillmann@gnunet.org>
Diffstat (limited to 'aux-gnurl')
-rw-r--r-- | aux-gnurl/ReleaseProcess | 39 | ||||
-rwxr-xr-x | aux-gnurl/sed.sh | 4 |
2 files changed, 43 insertions, 0 deletions
diff --git a/aux-gnurl/ReleaseProcess b/aux-gnurl/ReleaseProcess new file mode 100644 index 000000000..91866ba43 --- /dev/null +++ b/aux-gnurl/ReleaseProcess @@ -0,0 +1,39 @@ +# May this be automated one day. + +git checkout master +git pull upstream master +git checkout -b gnurl-$new curl-$new +git cherry-pick `git log gnurl-$old | head -n 1 | cut -c8-` +git mergetool +git cherry-pick --continue + +make clean +make autoclean +guix build -f gnurl-guix.scm + +# XXX: Fix the one remaining /gnu/store/… reference in shebang +./buildconf +./configure --enable-ipv6 --with-gnutls --without-libssh2 --without-libmetalink \ +--without-winidn --without-librtmp --without-nghttp2 --without-nss --without-cyassl \ +--without-polarssl --without-ssl --without-winssl --without-darwinssl --disable-sspi \ +--disable-ntlm-wb --disable-ldap --disable-rtsp --disable-dict --disable-telnet --disable-tftp \ +--disable-pop3 --disable-imap --disable-smtp --disable-gopher \ +--disable-file --disable-ftp --disable-smb +make +make test +make distcheck +make clean + +git push ..... +git diff HEAD^ HEAD > ../gnurl-$new.diff + +# XXX: The procedure below should be replaced by a fixed "make dist"! +cp -a . ../gnurl-$new +cd .. +rm -rf gnurl-$new/.git +tar cjf gnurl-$new.tar.bz2 gnurl-$new +# XXX: Do .tar.xz and .zip releases as soon as drupal website is gone! +rm -rf gnurl-$new +gpg --local-user A88C8ADD129828D7EAC02E52E22F9BBFEE348588 --detach-sig gnurl-$new.tar.bz2 +# login and upload. + diff --git a/aux-gnurl/sed.sh b/aux-gnurl/sed.sh new file mode 100755 index 000000000..24f822585 --- /dev/null +++ b/aux-gnurl/sed.sh @@ -0,0 +1,4 @@ +#!/bin/sh +sed -i 's/<curl\/curl.h>/<gnurl\/curl.h>/g' * +sed -i 's/<curl\/curl.h>/<gnurl\/curl.h>/g' docs/libcurl/* +sed -i 's/<curl\/curl.h>/<gnurl\/curl.h>/g' docs/libcurl/opts/* |