summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-10-22 17:59:45 +0200
committerGard Spreemann <gspr@nonempty.org>2019-10-22 17:59:45 +0200
commit301a2ee1c63d2f1dd6788f43086ba5da5a779e60 (patch)
tree7b8d6152215311be9c15c7ce0f776b58af278a0a
parent3ac8c27ad3f478cdac4edd33260a691782d365b7 (diff)
Watch file for GitHub.
-rw-r--r--debian/watch7
1 files changed, 4 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch
index 0e148758..2948a0c6 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,5 +1,6 @@
version=4
+opts=filenamemangle=s/.+\/gudhi-release-?(\d\S+)\.tar\.gz/gudhi-$1\.tar\.gz/,\
+ dversionmangle=s/\+dfsg(\.\d+)?$//,\
+ uversionmangle=s/.?(RC|rc)/~rc/ \
+ https://github.com/GUDHI/gudhi-devel/releases .*/archive/tags/gudhi-release-(\d\S+)\.tar\.gz
-opts="dversionmangle=s/\+dfsg(\.\d+)?$//" \
- https://gforge.inria.fr/frs/?group_id=3865 \
- .*\/.*GUDHI_(\d[\d.-]*)@ARCHIVE_EXT@