diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-09-09 22:34:14 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-09 22:34:14 +0100 |
commit | 3a77d78ca92715b58ddac074baa5b25c4baf9a9b (patch) | |
tree | 6dc147c4f02d9c37807f61c29d1fad916f967a94 /sci-mathematics/coq/coq-8.17.0.ebuild | |
parent | 785047acce64d1217286105397cc6fe433c34cb3 (diff) |
gentoo auto-resync : 09:09:2023 - 22:34:14
Diffstat (limited to 'sci-mathematics/coq/coq-8.17.0.ebuild')
-rw-r--r-- | sci-mathematics/coq/coq-8.17.0.ebuild | 112 |
1 files changed, 0 insertions, 112 deletions
diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild deleted file mode 100644 index 495f48055a82..000000000000 --- a/sci-mathematics/coq/coq-8.17.0.ebuild +++ /dev/null @@ -1,112 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -inherit desktop dune edo - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/ - https://github.com/coq/coq/" -SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${MY_P} - -LICENSE="LGPL-2.1" -SLOT="0/${PV}" -KEYWORDS="amd64 ~x86" -IUSE="debug doc gui +ocamlopt test" -RESTRICT="!test? ( test )" - -RDEPEND=" - dev-ml/zarith:= - || ( - dev-ml/num - <dev-lang/ocaml-4.09.0[ocamlopt?] - ) - gui? ( - >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] - >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] - ) -" -DEPEND="${RDEPEND}" -BDEPEND=" - dev-ml/findlib - doc? ( - >=dev-java/antlr-4.7:4 - dev-python/antlr4-python3-runtime - dev-python/beautifulsoup4 - dev-python/pexpect - dev-python/sphinx-rtd-theme - dev-python/sphinxcontrib-bibtex - dev-tex/latexmk - dev-texlive/texlive-fontsextra - dev-texlive/texlive-latexextra - dev-texlive/texlive-xetex - media-fonts/freefont - ) - test? ( dev-ml/ounit2 ) -" - -DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md ) - -src_prepare() { - # Remove failing tests. bug #904186 - rm -r test-suite/coq-makefile/timing || die - - default -} - -src_configure() { - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - - dune_packages=( - coq-core - coq-stdlib - coqide-server - coq - ) - use gui && dune_packages+=( coqide ) - - emake clean - - local -a myconf=( - -prefix /usr - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -docdir /usr/share/doc/${PF} - -datadir /usr/share/coq - -configdir /etc/xdg/${PN} - -native-compiler $(usex ocamlopt yes no) - ) - use debug && myconf+=( -debug ) - edob sh ./configure "${myconf[@]}" -} - -src_compile() { - emake DUNEOPT="--display=short --profile release" VERBOSE=1 dunestrap - - dune-compile ${dune_packages[@]} - - use doc && emake refman-html -} - -src_install() { - dune-install ${dune_packages[@]} - - if use gui ; then - make_desktop_entry coqide "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" - fi - - # Dune installs into /usr/<libdir>/ocaml/<coq> but - # Coq wants /usr/<libdir>/<coq> ; symlink those directories - local sym - for sym in ${dune_packages[@]} ; do - dosym $(ocamlc -where)/${sym} /usr/$(get_libdir)/${sym} - done - - einstalldocs -} |