summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2019-12-01 18:35:39 +0100
committerTupone Alfredo <tupone@gentoo.org>2019-12-01 18:35:39 +0100
commited28a08c44b7e0d4cd6a8ab3c662549a4ffafc40 (patch)
treed6c60ac3aeff53aadd1a68347498de5ea0b46f99 /dev-lang/spark/files/spark-2019-gentoo.patch
parentprofiles/sparc: Move USE=asm mask for openssl up a level (diff)
downloadgentoo-ed28a08c44b7e0d4cd6a8ab3c662549a4ffafc40.tar.gz
gentoo-ed28a08c44b7e0d4cd6a8ab3c662549a4ffafc40.tar.bz2
gentoo-ed28a08c44b7e0d4cd6a8ab3c662549a4ffafc40.zip
dev-lang/spark: version bump
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-lang/spark/files/spark-2019-gentoo.patch')
-rw-r--r--dev-lang/spark/files/spark-2019-gentoo.patch23
1 files changed, 23 insertions, 0 deletions
diff --git a/dev-lang/spark/files/spark-2019-gentoo.patch b/dev-lang/spark/files/spark-2019-gentoo.patch
new file mode 100644
index 00000000000..d940471dfcf
--- /dev/null
+++ b/dev-lang/spark/files/spark-2019-gentoo.patch
@@ -0,0 +1,23 @@
+--- a/gnat2why/gnat2why_c.gpr 2017-10-04 21:41:41.613376056 +0200
++++ b/gnat2why/gnat2why_c.gpr 2017-10-04 21:42:30.582572536 +0200
+@@ -1,4 +1,7 @@
+ project Gnat2Why_C is
+ for Languages use ("C");
+ for Object_Dir use "obj";
++ package Compiler is
++ for Driver ("C") use External ("CC", "gcc");
++ end Compiler;
+ end Gnat2Why_C;
+--- a/gnatprove/configuration.adb 2019-11-28 08:13:36.857402405 +0100
++++ b/gnatprove/configuration.adb 2019-11-28 08:14:23.777570096 +0100
+@@ -1161,7 +1161,9 @@
+
+ end if;
+
+- Set_Path_From_Gnatls (Proj_Env.all, "gnatls", GNAT_Version);
++ Set_Path_From_Gnatls (Proj_Env.all,
++ "gnatls",
++ GNAT_Version);
+ Free (GNAT_Version);
+ Set_Object_Subdir (Proj_Env.all,
+ Filesystem_String