aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Ammerlaan <andrewammerlaan@riseup.net>2021-03-04 14:47:18 +0100
committerAndrew Ammerlaan <andrewammerlaan@riseup.net>2021-03-04 14:47:18 +0100
commite6a9d839270d75261caea7f633aea55c6bb9cd33 (patch)
tree32f419ef763d74a75f687ba62214b1c6716181b6
parentsci-misc/opennlp-maxent: remove RedundantLongDescription (diff)
downloadsci-e6a9d839270d75261caea7f633aea55c6bb9cd33.tar.gz
sci-e6a9d839270d75261caea7f633aea55c6bb9cd33.tar.bz2
sci-e6a9d839270d75261caea7f633aea55c6bb9cd33.zip
sci-mathematics/why3: fix StaticURL
Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
-rw-r--r--sci-mathematics/why3/why3-1.3.3.ebuild8
1 files changed, 2 insertions, 6 deletions
diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild
index ab4a54b91..62706c32f 100644
--- a/sci-mathematics/why3/why3-1.3.3.ebuild
+++ b/sci-mathematics/why3/why3-1.3.3.ebuild
@@ -15,7 +15,7 @@ inherit python-any-r1 docs
DESCRIPTION="Why3 is a platform for deductive program verification"
HOMEPAGE="http://why3.lri.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/why3-1.3.3.tar.gz"
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/${P}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
@@ -59,9 +59,5 @@ src_compile() {
src_install(){
default
-
- if use examples; then
- insinto /usr/share/doc/${PF}
- doins -r examples
- fi
+ use examples && dodoc -r examples
}