summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2017-07-15 18:44:53 +1000
committerRod Kay2017-07-15 18:44:53 +1000
commitdefe10ae1009baf5dcbb504c0f54fc0eaf84ecbb (patch)
tree7e961edca32d6733247f2a57a761432922606dff
parent5bf2458985647fc8ca1f4bc87d5825097ec8f019 (diff)
downloadaur-defe10ae1009baf5dcbb504c0f54fc0eaf84ecbb.tar.gz
Add patch to targparm.adb
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD17
-rw-r--r--targparm.adb-patch18
3 files changed, 35 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9a650a37b42d..b636821e128d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
# Generated by mksrcinfo v8
-# Thu Jul 6 12:12:54 UTC 2017
+# Sat Jul 15 08:44:14 UTC 2017
pkgbase = gnat_util
pkgdesc = Provides internal GNAT compiler components in a library which is used by (at least) ASIS and GNATColl.
pkgver = 2017
@@ -13,7 +13,9 @@ pkgbase = gnat_util
depends = gcc-ada
options = !emptydirs
source = http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed037
+ source = targparm.adb-patch
sha1sums = 00a231b45e25ea524a144111a524262184ceb876
+ sha1sums = fb3d1496b5ea382b6272355a97a31485f1272c36
pkgname = gnat_util
diff --git a/PKGBUILD b/PKGBUILD
index b713176e5e78..a5799652d7f0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -12,19 +12,30 @@ arch=('i686' 'x86_64')
url="http://sourceforge.net/projects/gnatutil"
license=('GPL V3.0 without any Runtime Exception')
-#depends=('gcc-ada' 'prepare_gnat_util')
depends=('gcc-ada')
makedepends=('gcc-ada' 'gprbuild')
-source=('http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed037')
-sha1sums=('00a231b45e25ea524a144111a524262184ceb876')
+source=('http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed037'
+ 'targparm.adb-patch')
+sha1sums=('00a231b45e25ea524a144111a524262184ceb876'
+ 'fb3d1496b5ea382b6272355a97a31485f1272c36')
_pkg_src_dir="$pkgname-gpl-$pkgver-src"
#_make_flags='ENABLE_SHARED=yes'
+
+prepare()
+{
+ cd "$srcdir/$_pkg_src_dir"
+
+ patch -p0 -i ../targparm.adb-patch
+}
+
+
+
build()
{
cd "$srcdir/$_pkg_src_dir"
diff --git a/targparm.adb-patch b/targparm.adb-patch
new file mode 100644
index 000000000000..a711663653c3
--- /dev/null
+++ b/targparm.adb-patch
@@ -0,0 +1,18 @@
+--- targparm.adb 2017-07-15 18:26:03.805807859 +1000
++++ targparm.adb-new 2017-07-15 18:26:28.822474526 +1000
+@@ -339,10 +339,11 @@
+ -- Test for pragma Profile (GNAT_Ravenscar_EDF);
+
+ elsif Looking_At_Skip ("pragma Profile (GNAT_Ravenscar_EDF);") then
+- Set_Profile_Restrictions (GNAT_Ravenscar_EDF);
+- Opt.Task_Dispatching_Policy := 'E';
+- Opt.Locking_Policy := 'C';
+- goto Line_Loop_Continue;
++ raise Program_Error with "pragma Profile (GNAT_Ravenscar_EDF) is not yet implemented";
++-- Set_Profile_Restrictions (GNAT_Ravenscar_EDF);
++-- Opt.Task_Dispatching_Policy := 'E';
++-- Opt.Locking_Policy := 'C';
++-- goto Line_Loop_Continue;
+
+ -- Test for pragma Profile (Restricted);
+