summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-05-14 11:09:11 +0100
committerV3n3RiX <venerix@redcorelinux.org>2020-05-14 11:09:11 +0100
commitdeba8115d2c2af26df42966b91ef04ff4dd79cde (patch)
tree9a48f42594e1a9e6b2020d5535a784314434d7a7 /dev-ada
parent38423c67c8a23f6a1bc42038193182e2da3116eb (diff)
gentoo resync : 14.05.2020
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin3217 -> 3212 bytes
-rw-r--r--dev-ada/gps/Manifest4
-rw-r--r--dev-ada/gps/files/gps-2018-gentoo.patch77
-rw-r--r--dev-ada/gps/gps-2018-r3.ebuild107
4 files changed, 0 insertions, 188 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 615e9c0a87ac..84b020357b45 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest
index b70d5efed892..77b407a08180 100644
--- a/dev-ada/gps/Manifest
+++ b/dev-ada/gps/Manifest
@@ -1,11 +1,7 @@
-AUX gps-2018-gentoo.patch 2976 BLAKE2B dd72c2c4c8dc8f971b819eb76b4433dd78c587d79bd903e17be0fd879027638821edaa625a64f355b2355a37fa7472b9c1b1072e06fd24c9c5547369916f2bde SHA512 fbfb23f29de218ca1371e39aed70aa4ef22080a11aa8bcbd13ef3ea6b68f69db9a4c6f6f5c7c0cefa85ef6495685fb9811de2521b3085f2f25d9acce0ad14047
AUX gps-2019-gentoo.patch 2976 BLAKE2B b79ead5d30030cb8e1bc1e67034cb6394a3898716b190b3c9850e2931a0cae22a6d39e23f3e996abee3c3a8b278631c299bf7e2d70e828a50e28af99024e3adb SHA512 bd7e30a3f11be4d6dabb01ebcfa199a400cd0ff7d590bc563a7cfd168710c20fefe08fc1617cfbf8abd4a5603f0a1b7cc42300ac270e040b159145e08ad04054
DIST ada_language_server-2019-src.tar.gz 169018 BLAKE2B 3ed7412773887f6ebe58a8b08a6befa8be780d10c1abb3a38f524918fb60d7213699e2c7a2cd845d5dd154f9eccf8672ce8833e408dcdaa3621d173a0a8e5818 SHA512 dd25878719c5237c2f1e01097076758f25a350705a58c2988ff3e92179ceaf659981cdd0887df9916e4c1e2226419ebd526f14716da4d3fda0fcf454b9122d37
-DIST gps-gpl-2018-src.tar.gz 40541905 BLAKE2B abe38dd23d9afede27b4ec8294e3245c12d52d60491b6e7c1b2d120a6f1e5d808fdcfb648e72da31376e2de176f7a039c5493341ad295db33b6a1ce44bb64096 SHA512 da0eaa85eb753f215354c9765272d85378f36ebe207314bab9211642f9d9b505a3d05cdec9de6964ae9139c4f8942a29e06c72db32b2aeb053a694e9c982e470
DIST gps-gpl-2019-src.tar.gz 13758956 BLAKE2B 71158537d9d970b97db06c1a5ed40cfec2f7c8523dbced763227463450b4fd469817abcd61339cde96a13bb2b721141339b15444e55bdc64cee7ed2458fd42ed SHA512 4420311303122fd365794830fb7a7868832b8211804d6e11773f598c307229b139993b3c81d91646f7b5aa9a7fba118895234c4ac89193d960dd3170a04e52a7
DIST gtk+-3.14.15-src.tar.gz 32009863 BLAKE2B 93c6897c431fa8e1c19ea758378bc7e365d486d1decccefbba64876d8c51a488e6bcf932481daa11e7e43a960a328c3db746e41a845e574c6b6070ab71e23188 SHA512 add4607a1758319a938d2be0bbd0dd140c4099accffa9301e3049bc460bf94f395c5a092368214e8b28d53bc25335d1b8329b50c7eb80a1e9a65b2e154135b84
DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1
-DIST libadalang-tools-gpl-2018-src.tar.gz 19938182 BLAKE2B 34104f3bc43c165a9b74ba8c0c03ee2f34686bcd06b5ced730f70f654d8b808e129a85566e081830b4f20304c793eefe0af81b56984cf06190302ad2f6a419be SHA512 a1176575944cd88b9da5f4e9f03caa1a4d09358df71e6a91300d0b35c2a843d0ea1a77fbd93e7b7f16cef1b978022ee20991f5c2ff74f7d05878c3de1220f2b5
-EBUILD gps-2018-r3.ebuild 2840 BLAKE2B 7fc1ac79ada9aa38b00dd3a35522b2831633162b8af47cb8496038b7197aafc816eee2cd376cea1b3e3591a2ab2bdb353b5fd0127744c9605400a87ad4be8e6a SHA512 3ead8a7005ac456771da699fdb13c55ca135f44e9ba0202aef551de0784b918ed1904bf66c8fd6544d5ab4845f9bbedf4e511a2e8c93bf1a1400474d21007890
EBUILD gps-2019-r1.ebuild 3189 BLAKE2B ea0b25f94474e0b97c9f91942c834052fa105e80d0d33fed9678e1b397112bcbfde7ae6f4ab98d2eeeadde8c5166c5f8269eb468656fbf06d533895eaede23d5 SHA512 4e68e5815300b096072a9b52f09c5557a553d5320e037feff14d6f57a0024d531e487dc48cbe4dbd00a5f2f655fd50020513f9ca5d7c0a88eeccbaa46e8a9a63
MISC metadata.xml 406 BLAKE2B 663412f7328e2ed9ca4df57304073e48b2c18d43c84c6a5a4b8331f57f731bd63c38d7eb23b9edb4939e0644238a7883581e3ae50afb708cd263a9c39f936671 SHA512 7e13f81414da0346f385d66d88eca699dab64aeaf7d22a38ff05bec1ddc3fab5f98f7d2049902a75f63bfe10f918c599f15a1497cdb09799fec8330152251b46
diff --git a/dev-ada/gps/files/gps-2018-gentoo.patch b/dev-ada/gps/files/gps-2018-gentoo.patch
deleted file mode 100644
index 6e258bac36a0..000000000000
--- a/dev-ada/gps/files/gps-2018-gentoo.patch
+++ /dev/null
@@ -1,77 +0,0 @@
---- a/gps/Makefile 2018-07-09 20:27:34.950424490 +0200
-+++ b/gps/Makefile 2018-07-09 20:37:39.510558817 +0200
-@@ -47,7 +47,8 @@
- for f in ../kernel/generated/*; do cat $$f | tr -d '\015' > $$f-aux; mv -f $$f-aux $$f; done
- endif
- $(GPRBUILD) $(GPRBUILD_FLAGS) -m -p -ws \
-- $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs`
-+ $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs` -lpython2.7 \
-+ -cargs:Ada ${ADAFLAGS} -cargs:C ${CFLAGS}
-
- resources:
- ifeq ($(OS),Windows_NT)
---- a/Makefile.in 2018-07-09 21:51:08.422550386 +0200
-+++ b/Makefile.in 2018-07-09 21:51:32.187225891 +0200
-@@ -10,7 +10,7 @@
- INSTALL_PROGRAM = @INSTALL_PROGRAM@
- INSTALL_DATA = @INSTALL_DATA@
- GNATCOLL_INSTALL = @GNATCOLL_INSTALL@
--prefix = @prefix@
-+prefix = $(DESTDIR)@prefix@
- bindir = $(prefix)/bin
- sharedir = $(prefix)/share
- examplesdir = $(prefix)/share/examples/gps
---- a/docs/Makefile.in 2018-07-09 21:53:33.074572729 +0200
-+++ b/docs/Makefile.in 2018-07-09 21:53:52.149311484 +0200
-@@ -1,4 +1,4 @@
--prefix = @prefix@
-+prefix = $(DESTDIR)@prefix@
- docdir = $(prefix)/share/doc/gps
- sharedir = $(prefix)/share/gps
-
---- a/share/support/core/toolchains.py 2018-07-11 12:15:18.758674244 +0200
-+++ b/share/support/core/toolchains.py 2018-07-11 12:20:20.389220849 +0200
-@@ -16,11 +16,11 @@
- nullified by using an empty value in the corresponding tag
- -->
- <toolchain_default>
-- <gnat_driver>gnat</gnat_driver>
-- <gnat_list>gnatls</gnat_list>
-+ <gnat_driver>@GNAT@</gnat_driver>
-+ <gnat_list>@GNATLS@</gnat_list>
- <debugger>gdb</debugger>
- <cpp_filt>c++filt</cpp_filt>
-- <compiler lang="ada">gnatmake</compiler>
-+ <compiler lang="ada">@GNATMAKE@</compiler>
- <compiler lang="c">gcc</compiler>
- <compiler lang="c++">g++</compiler>
- <compiler lang="asm">gcc</compiler>
---- a/share/support/core/projects.py 2018-07-11 13:49:29.631289680 +0200
-+++ b/share/support/core/projects.py 2018-07-11 13:51:46.568252607 +0200
-@@ -146,7 +146,7 @@
- <string />
- </index>
- <specialized_index value="Ada">
-- <choice default="true" >gnatmake</choice>
-+ <choice default="true" >@GNATMAKE@</choice>
- </specialized_index>
- </project_attribute>
-
-@@ -166,7 +166,7 @@
- description="The gnatls command used to find where the Ada run time files are installed (including optional arguments, e.g. gnatls --RTS=sjlj)."
- hide_in="all"
- label="Gnatls">
-- <choice default="true" >gnatls</choice>
-+ <choice default="true" >@GNATLS@</choice>
- <string />
- </project_attribute>
-
-@@ -178,7 +178,7 @@
- description="The gnat driver used to run the various commands associated with the GNAT toolchain."
- hide_in="all"
- label="Gnat">
-- <choice default="true" >gnat</choice>
-+ <choice default="true" >@GNAT@</choice>
- <string />
- </project_attribute>
-
diff --git a/dev-ada/gps/gps-2018-r3.ebuild b/dev-ada/gps/gps-2018-r3.ebuild
deleted file mode 100644
index 49dd272c9a9d..000000000000
--- a/dev-ada/gps/gps-2018-r3.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-PYTHON_COMPAT=( python2_7 )
-ADA_COMPAT=( gnat_2018 )
-inherit ada python-single-r1 autotools desktop llvm multilib
-
-MYP=${PN}-gpl-${PV}-src
-
-DESCRIPTION="The GNAT Programming Studio"
-HOMEPAGE="http://libre.adacore.com/tools/gps/"
-SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf627c7a4475261f97ceb
- -> ${MYP}.tar.gz
- http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59 ->
- libadalang-tools-gpl-2018-src.tar.gz
- http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a61 ->
- gtk+-3.14.15-src.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE=""
-
-RDEPEND="${PYTHON_DEPS}
- dev-ada/gnatcoll-db[${ADA_USEDEP},db2ada,gnatinspect,xref]
- dev-ada/gnatcoll-bindings[${ADA_USEDEP},python]
- ~dev-ada/gtkada-2018[${ADA_USEDEP}]
- ~dev-ada/libadalang-2018[${ADA_USEDEP}]
- dev-libs/gobject-introspection
- dev-libs/libffi
- sys-devel/llvm:7
- sys-devel/clang:=
- x11-themes/adwaita-icon-theme
- x11-themes/hicolor-icon-theme
- $(python_gen_cond_dep '
- dev-python/pep8[${PYTHON_MULTI_USEDEP}]
- dev-python/jedi[${PYTHON_MULTI_USEDEP}]
- ')"
-
-DEPEND="${RDEPEND}"
-
-REQUIRED_USE="${PYTHON_REQUIRED_USE}
- ${ADA_REQUIRED_USE}"
-
-RESTRICT="test"
-
-S="${WORKDIR}"/${MYP}
-
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
-
-pkg_setup() {
- LLVM_MAX_SLOT=7
- llvm_pkg_setup
- python-single-r1_pkg_setup
- ada_pkg_setup
-}
-
-src_prepare() {
- default
- sed -i \
- -e "s:@GNATMAKE@:${GNATMAKE}:g" \
- -e "s:@GNAT@:${GNAT}:g" \
- -e "s:@GNATLS@:${GNATLS}:g" \
- share/support/core/toolchains.py \
- share/support/core/projects.py \
- || die
- mv "${WORKDIR}"/libadalang-tools-src laltools
- echo "#!/bin/bash" > gps.sh
- echo "export LD_LIBRARY_PATH=/usr/$(get_libdir)/gps" >> gps.sh
- echo 'exec /usr/bin/gps_exe "$@"' >> gps.sh
- cd ../gtk+-3.14.15-src
- sed -i \
- -e "/^libadd/s:=.*$:= \\\:" \
- -e "/^deps/s:=.*$:= \\\:" \
- ../gtk+-3.14.15-src/gtk/Makefile.in
-}
-
-src_configure() {
- econf \
- --with-clang=$(llvm-config --libdir)
- cd ../gtk+-3.14.15-src
- econf --disable-cups
-}
-
-src_compile() {
- emake -C gps GPRBUILD_FLAGS="-v ${MAKEOPTS} \
- -XGPR_BUILD=relocatable" \
- Build=Production
- gprbuild -v -p -Pcli/cli.gpr ${MAKEOPTS} -XLIBRARY_TYPE=relocatable \
- -XGPR_BUILD=relocatable -cargs:Ada ${ADAFLAGS} || die
- cd ../gtk+-3.14.15-src
- emake -C gtk/inspector
- emake -C gtk gtk.gresource.xml gtkdbusgenerated.c gtkdbusgenerated.h
- emake -C gtk libgtk-3.la
-}
-
-src_install() {
- default
- make_desktop_entry "${PN}" "GPS" "${EPREFIX}/usr/share/gps/icons/hicolor/32x32/apps/gps_32.png" "Development;IDE;"
- mv "${D}"/usr/bin/gps{,_exe}
- newbin gps.sh gps
- cd ../gtk+-3.14.15-src
- emake -C gtk DESTDIR="${D}" install-libLTLIBRARIES
- rm "${D}"/usr/$(get_libdir)/libgtk-3.{la,so,so.0} || die
- dosym ../libgtk-3.so.0.1400.15 /usr/$(get_libdir)/gps/libgtk-3.so.0
-}