diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-16 20:27:28 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-16 20:27:28 +0000 |
| commit | 2fd57282f0262ca084e05b0f2c63fbada395d02b (patch) | |
| tree | 4e0f23cea9ce9fd972e70ebc5214bf36fed465cc /sci-mathematics/why3 | |
| parent | c3bc61051d7f12b4c682efa7a5460bbc8815649e (diff) | |
gentoo resync : 16.01.2021
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.0-r2.ebuild (renamed from sci-mathematics/why3/why3-1.4.0-r1.ebuild) | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index 56bc0cb38a09..fa40a5a4e727 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1,3 +1,3 @@ DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a -EBUILD why3-1.4.0-r1.ebuild 2089 BLAKE2B 5d3ccd3ab09f320640dc30b20d4dd0e4caad312bcbad1685507839f5803221ae8ac5da9e184aece2f77afa439e4e8cae5541f1ba02f71b0713ea9989f4758581 SHA512 6dc7c9572d02fccfec6445268f1f880f540c9cc53d618328865baf958dd6cc310904fe991341f2e7156c961ae38e6c73a3572a73cebb55937fa2055384a6a62a +EBUILD why3-1.4.0-r2.ebuild 2170 BLAKE2B 4a69d3d119d8ac3dd1d33a820717b1f59d88eb888f168ab5c019e23457de62d81ee07bf7d64ad48a63ab90fe864084588a54d4e7b8163e86cff5f2dbd8185a4e SHA512 99073cf81b27903bd21c0c7d7ce898a449191aeb6e23e3ac81e58cebf6704a2a829d03c847c810093f8ee835f677bae1f64c8b20ffc9f37f74e04ee11e771a5e MISC metadata.xml 1680 BLAKE2B 4443de2368a7003db59e341bc671c8aa4c664be935b65df1fd1af161900a977194e012ef3b486f877a77f6b32405d700ee814d7cdeb10703b2462f7337965fb5 SHA512 7cc8dbe476d891d1311cec6ea15b1c6e6391c32bdbe715fe1fb7d2549763384c148e0509fb2b7c68b98b70eec1feeb4d94271378a343d50ef58cb5bb8a07a109 diff --git a/sci-mathematics/why3/why3-1.4.0-r1.ebuild b/sci-mathematics/why3/why3-1.4.0-r2.ebuild index badf49628e94..85da04d96b8a 100644 --- a/sci-mathematics/why3/why3-1.4.0-r1.ebuild +++ b/sci-mathematics/why3/why3-1.4.0-r2.ebuild @@ -37,7 +37,9 @@ BDEPEND=" dev-python/sphinx dev-python/sphinxcontrib-bibtex media-gfx/graphviz - || ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber ) + dev-texlive/texlive-latex + dev-texlive/texlive-fontsrecommended + dev-texlive/texlive-latexextra ) " @@ -48,6 +50,7 @@ src_prepare() { sed -i 's/configure\.in/configure.ac/g' Makefile.in || die sed -e '/^lib\/why3[a-z]*\$(EXE):/{n;s/-Wall/$(CFLAGS) $(LDFLAGS)/}' \ -e '/^%.o: %.c/{n;s/\$(CC).*-o/$(CC) $(CFLAGS) -o/}' \ + -e '/\$(SPHINX)/s/ -d doc\/\.doctrees / /' \ -i Makefile.in || die eautoreconf |