mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 05:23:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/*: inherit findlib eclass

Browse Source 
Closes: https://bugs.gentoo.org/784677
Closes: https://bugs.gentoo.org/784671
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>
This commit is contained in:
Anna Vyalkova
2021-05-02 06:14:55 +05:00
parent 5df3aba5e0
commit 673dc2eb73
3 changed files with 7 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
sci-mathematics/frama-c/frama-c-22.0.ebuild
View File

@@ -3,7 +3,7 @@
EAPI=7
inherit autotools
inherit autotools findlib
DESCRIPTION="Framework for analysis of source codes written in C"
HOMEPAGE="https://frama-c.com"
@@ -26,7 +26,6 @@ RDEPEND="
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
wp? ( ~sci-mathematics/why3-1.3.3 )"
DEPEND="${RDEPEND}
dev-ml/findlib
media-gfx/graphviz"
REQUIRED_USE="
@@ -97,7 +96,3 @@ src_configure() {
$(use_enable wp) \
--disable-wp-coq
}
src_install() {
emake install DESTDIR="${ED}"
}

6
sci-mathematics/why3/why3-1.3.3.ebuild
View File

@@ -3,7 +3,7 @@
EAPI=7
inherit autotools
inherit autotools findlib
DESCRIPTION="Platform for deductive program verification"
HOMEPAGE="http://why3.lri.fr/"
@@ -16,7 +16,6 @@ IUSE="coq emacs gtk +ocamlopt re +zarith zip"
DEPEND=">=dev-lang/ocaml-4.05.0[ocamlopt?]
>=dev-ml/menhir-20151112
dev-ml/findlib
dev-ml/num
coq? ( >=sci-mathematics/coq-8.6 )
emacs? ( app-editors/emacs:* )
@@ -70,7 +69,8 @@ src_compile() {
}
src_install(){
emake install install-lib DESTDIR="${ED}"
findlib_src_preinst
emake install install-lib DESTDIR="${ED}" || die "make failed"
doman doc/why3.1
einstalldocs

6
sci-mathematics/why3/why3-1.4.0.ebuild
View File

@@ -3,7 +3,7 @@
EAPI=7
inherit autotools
inherit autotools findlib
DESCRIPTION="Platform for deductive program verification"
HOMEPAGE="http://why3.lri.fr/"
@@ -16,7 +16,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip"
DEPEND=">=dev-lang/ocaml-4.05.0[ocamlopt?]
>=dev-ml/menhir-20151112
dev-ml/findlib
dev-ml/num
coq? ( >=sci-mathematics/coq-8.6 )
doc? (
@@ -74,7 +73,8 @@ src_compile() {
}
src_install(){
emake install install-lib DESTDIR="${ED}"
findlib_src_preinst
emake install install-lib DESTDIR="${ED}" || die "make failed"
einstalldocs
docompress -x /usr/share/doc/${PF}/examples