diff options
Diffstat (limited to 'development/ahven/gpr-path.patch')
| -rw-r--r-- | development/ahven/gpr-path.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/development/ahven/gpr-path.patch b/development/ahven/gpr-path.patch deleted file mode 100644 index 9e4099bfb6..0000000000 --- a/development/ahven/gpr-path.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- gnat/ahven.gpr.org 2012-04-24 23:00:52.596107594 -0700 -+++ gnat/ahven.gpr 2012-04-24 23:01:02.927107188 -0700 -@@ -4,7 +4,7 @@ - - for Source_Dirs use ("../../include/ahven"); - -- for Library_Dir use "../../lib/ahven"; -+ for Library_Dir use "../../lib64/ahven"; - for Library_Name use "ahven"; - for Library_Kind use "static"; - |