diff options
Diffstat (limited to 'sci-mathematics/coq/coq-8.9.1-r1.ebuild')
-rw-r--r-- | sci-mathematics/coq/coq-8.9.1-r1.ebuild | 86 |
1 files changed, 86 insertions, 0 deletions
diff --git a/sci-mathematics/coq/coq-8.9.1-r1.ebuild b/sci-mathematics/coq/coq-8.9.1-r1.ebuild new file mode 100644 index 000000000000..d110241bb500 --- /dev/null +++ b/sci-mathematics/coq/coq-8.9.1-r1.ebuild @@ -0,0 +1,86 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI="7" + +inherit eutils multilib + +MY_PV=${PV/_p/pl} +MY_P=${PN}-${MY_PV} + +DESCRIPTION="Proof assistant written in O'Caml" +HOMEPAGE="http://coq.inria.fr/" +SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="gtk debug +ocamlopt doc" + +RESTRICT=test + +# Note: RDEPEND will require dev-ml/num:= for >=dev-lang/ocaml-4.0.7 +RDEPEND=" + >=dev-lang/ocaml-4.0.5:=[ocamlopt?] + dev-ml/camlp5:=[ocamlopt?] + gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )" +DEPEND="${RDEPEND} + dev-ml/findlib + doc? ( + media-libs/netpbm[png,zlib] + virtual/latex-base + dev-tex/hevea + dev-texlive/texlive-latexrecommended + dev-texlive/texlive-pictures + dev-texlive/texlive-mathscience + dev-texlive/texlive-latexextra + )" + +S=${WORKDIR}/${MY_P} + +src_configure() { + ocaml_lib=$(ocamlc -where) + local myconf=( + -prefix /usr + -bindir /usr/bin + -libdir /usr/$(get_libdir)/coq + -mandir /usr/share/man + -coqdocdir /usr/$(get_libdir)/coq/coqdoc + -docdir /usr/share/doc/${PF} + -configdir /etc/xdg/${PN} + -lablgtkdir ${ocaml_lib}/lablgtk2 + ) + + use debug && myconf+=( -debug ) + use doc || myconf+=( -with-doc no ) + + if use gtk; then + if use ocamlopt; then + myconf+=( -coqide opt ) + else + myconf+=( -coqide byte ) + fi + else + myconf+=( -coqide no ) + fi + + use ocamlopt || myconf+=( -byte-only ) + + export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" + ./configure ${myconf[@]} || die "configure failed" +} + +src_compile() { + emake STRIP="true" -j1 world VERBOSE=1 +} + +src_test() { + emake STRIP="true" check VERBOSE=1 +} + +src_install() { + emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 + dodoc README.md CREDITS CHANGES.md + + use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" +} |