diff options
Diffstat (limited to 'development/ahven/gpr-path.patch')
| -rw-r--r-- | development/ahven/gpr-path.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/development/ahven/gpr-path.patch b/development/ahven/gpr-path.patch new file mode 100644 index 0000000000..9e4099bfb6 --- /dev/null +++ b/development/ahven/gpr-path.patch @@ -0,0 +1,11 @@ +--- 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"; + |