1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
BDEPEND=doc? ( || ( ( dev-lang/python:3.13 dev-python/sphinx[python_targets_python3_13(-)] dev-python/sphinx-rtd-theme[python_targets_python3_13(-)] ) ( dev-lang/python:3.12 dev-python/sphinx[python_targets_python3_12(-)] dev-python/sphinx-rtd-theme[python_targets_python3_12(-)] ) ( dev-lang/python:3.11 dev-python/sphinx[python_targets_python3_11(-)] dev-python/sphinx-rtd-theme[python_targets_python3_11(-)] ) ( dev-lang/python:3.10 dev-python/sphinx[python_targets_python3_10(-)] dev-python/sphinx-rtd-theme[python_targets_python3_10(-)] ) ( dev-lang/pypy:3.10[symlink] dev-python/sphinx[python_targets_pypy3(-)] dev-python/sphinx-rtd-theme[python_targets_pypy3(-)] ) ) )
DEFINED_PHASES=compile install prepare setup
DEPEND=dev-ada/gnatcoll-core[ada_target_gcc_14(-)?,-ada_target_gnat_2021(-),-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-),shared] ~dev-ada/gpr-24.2.0[ada_target_gcc_14(-)?,-ada_target_gnat_2021(-),-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-)] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark dev-ada/gprbuild[ada_target_gcc_14(-)?,-ada_target_gnat_2021(-),-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-)]
DESCRIPTION=Software development for high-reliability applications
EAPI=8
HOMEPAGE=http://libre.adacore.com
INHERIT=ada python-any-r1 multiprocessing
IUSE=doc ada_target_gnat_2021 ada_target_gcc_12 ada_target_gcc_13 ada_target_gcc_14 ada_target_gcc_15
KEYWORDS=~amd64 ~arm64
LICENSE=GPL-3
RDEPEND=dev-ada/gnatcoll-core[ada_target_gcc_14(-)?,-ada_target_gnat_2021(-),-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-),shared] ~dev-ada/gpr-24.2.0[ada_target_gcc_14(-)?,-ada_target_gnat_2021(-),-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-)] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark
REQUIRED_USE=ada_target_gcc_14
SLOT=0
SRC_URI=https://github.com/AdaCore/spark2014/archive/ce5fad038790d5dc18f9b5345dc604f1ccf45b06.tar.gz -> spark-2024.01.11.tar.gz http://mirror.koddos.net/gcc/releases/gcc-14.2.0/gcc-14.2.0.tar.xz
_eclasses_=ada 91fe5c33490e013a01ffad92086e7bac multilib b2a329026f2e404e9e371097dda47f96 multiprocessing 1e32df7deee68372153dca65f4a7c21f python-any-r1 891415dfe39ad9b41b461f2b86354af0 python-utils-r1 b7726144f5af59e186d66746d0f513e5 toolchain-funcs 6afdb6107430c1832ca7e16aacbf8fa1
_md5_=b725b982dd478c9aab969f057686be74
|
