diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-11-18 09:38:27 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-11-18 09:38:27 +0000 |
commit | 536c3711867ec947c1738f2c4b96f22e4863322d (patch) | |
tree | 697733f5cb713908dcf378e13fd15a798a906a91 /dev-ada/asis/files | |
parent | f65628136faa35d0c4d3b5e7332275c7b35fcd96 (diff) |
gentoo resync : 18.11.2018
Diffstat (limited to 'dev-ada/asis/files')
-rw-r--r-- | dev-ada/asis/files/asis-2016-gentoo.patch | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/dev-ada/asis/files/asis-2016-gentoo.patch b/dev-ada/asis/files/asis-2016-gentoo.patch index c5ffda3628b9..11a83e0fda9f 100644 --- a/dev-ada/asis/files/asis-2016-gentoo.patch +++ b/dev-ada/asis/files/asis-2016-gentoo.patch @@ -1,6 +1,6 @@ ---- asis-gpl-2015-src/Makefile.old 2017-01-03 13:59:38.106788092 +0000 -+++ asis-gpl-2015-src/Makefile 2017-01-03 14:01:43.735605615 +0000 -@@ -10,15 +10,18 @@ +--- a/Makefile 2017-01-03 13:59:38.106788092 +0000 ++++ b/Makefile 2017-01-03 14:01:43.735605615 +0000 +@@ -10,15 +10,19 @@ # ==================================================== build all: @@ -19,13 +19,14 @@ setup: - $(GPRBUILD) -p -XBLD=$(BLD) tools/tool_utils/generate_factory.gpr -+ $(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) tools/tool_utils/generate_factory.gpr \ ++ $(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) \ ++ $(GPRBUILD_FLAGS) tools/tool_utils/generate_factory.gpr \ + -cargs $(ADAFLAGS) rm -rf tools/tool_utils/ada_trees-factory.ads tools/tool_utils/ada_trees-factory.adb rm -rf tools/gnat2xml/ada_trees-factory.ads tools/gnat2xml/ada_trees-factory.adb cd tools/tool_utils ; ./ada_trees-generate_factory$(exe_ext) ---- asis-gpl-2016-src/Makefile.stub.old 2017-04-06 21:16:41.802376709 +0200 -+++ asis-gpl-2016-src/Makefile.stub 2017-04-06 21:17:01.627023825 +0200 +--- a/Makefile.stub 2017-04-06 21:16:41.802376709 +0200 ++++ b/Makefile.stub 2017-04-06 21:17:01.627023825 +0200 @@ -3,7 +3,6 @@ # Where Asis library should be installed |