diff options
Diffstat (limited to 'devel/sgl/files/patch-makefile')
| -rw-r--r-- | devel/sgl/files/patch-makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/devel/sgl/files/patch-makefile b/devel/sgl/files/patch-makefile new file mode 100644 index 000000000000..efba499f3068 --- /dev/null +++ b/devel/sgl/files/patch-makefile @@ -0,0 +1,19 @@ +--- test/makefile.orig Wed Aug 19 03:59:46 1998 ++++ test/makefile Fri Dec 20 22:03:12 2002 +@@ -11,7 +11,7 @@ + # + + GNATMAKE=gnatmake +-ADA_INCLUDE=-I../SGL ++ADA_INCLUDE=-I/usr/local/lib/SGL + # Debuging flags :-v -gnatv -gnatf #-gnatdc + GFLAGS_OPT=-O3 -gnatn + #GFLAGS=-g +@@ -57,6 +57,6 @@ + ./test_iterators + + clean: dummy +- rm -f *.ali *.o *~ b_*.c test_vectors.exe test_lists.exe test_trees.exe test_sets.exe test_maps.exe test_stacks.exe test_queues.exe test_algorithms.exe test_container_signatures.exe test_functions.exe test_iterators.exe benchmark.exe ++ rm -f *.ali *.o *~ *.log b_*.c b~* test_vectors test_lists test_trees test_sets test_maps test_stacks test_queues test_algorithms test_container_signatures test_functions test_iterators benchmark + + dummy: |