summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-10-21 20:20:11 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-10-21 20:20:11 +0200
commitf406928d9d838acf1e6052aa6a056c87af77952d (patch)
tree40515b3055adbe1454af498e1928432acd59917b /dev-lang/spark/files
parentnet-libs/gnutls: version bump (diff)
downloadgentoo-f406928d9d838acf1e6052aa6a056c87af77952d.tar.gz
gentoo-f406928d9d838acf1e6052aa6a056c87af77952d.tar.bz2
gentoo-f406928d9d838acf1e6052aa6a056c87af77952d.zip
dev-lang/spark: Add dev-lang/spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-lang/spark/files')
-rw-r--r--dev-lang/spark/files/spark-2017-gentoo.patch10
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/spark/files/spark-2017-gentoo.patch b/dev-lang/spark/files/spark-2017-gentoo.patch
new file mode 100644
index 00000000000..479a7ace4dc
--- /dev/null
+++ b/dev-lang/spark/files/spark-2017-gentoo.patch
@@ -0,0 +1,10 @@
+--- spark-gpl-2017-src/gnat2why/gnat2why_c.gpr.old 2017-10-04 21:41:41.613376056 +0200
++++ spark-gpl-2017-src/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;