diff options
Diffstat (limited to 'devel/adabooch/files/patch-demo-makefile')
-rw-r--r-- | devel/adabooch/files/patch-demo-makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/adabooch/files/patch-demo-makefile b/devel/adabooch/files/patch-demo-makefile new file mode 100644 index 000000000000..56646179aae5 --- /dev/null +++ b/devel/adabooch/files/patch-demo-makefile @@ -0,0 +1,11 @@ +--- demo/makefile.orig Sun Jun 2 16:49:53 2002 ++++ demo/makefile Sat Dec 21 19:20:50 2002 +@@ -22,7 +22,7 @@ + # Demos + + GNATMAKE = gnatmake +-GNATMAKE_FLAGS = -I.. -O2 -g -gnata -gnatf -gnatwu -gnatwl -gnaty ++GNATMAKE_FLAGS = -I/usr/local/lib/booch -O2 -g -gnata -gnatf -gnatwu -gnatwl -gnaty + + all:: demos + |