summaryrefslogtreecommitdiff
path: root/dev-ada/asis/files/asis-2016-gentoo.patch
blob: c5ffda3628b920ff83ba30c905dcd56e4b2504f8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
--- 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 @@
 # ==================================================== build
 
 all:
-	$(GPRBUILD) -p -j0 -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
-		$(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr
+	$(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
+		$(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr \
+		-cargs $(ADAFLAGS)
 
 tools: setup
-	$(GPRBUILD) -p -j0 -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
-		$(GPRBUILD_FLAGS) -XASIS_COMPONENTS=tools build_asis.gpr
+	$(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
+		$(GPRBUILD_FLAGS) -XASIS_COMPONENTS=tools build_asis.gpr \
+		-cargs $(ADAFLAGS)
 
 setup:
-	$(GPRBUILD) -p  -XBLD=$(BLD) tools/tool_utils/generate_factory.gpr
+	$(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) 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
@@ -3,7 +3,6 @@
 
 # Where Asis library should be installed
 # Default is into current GNAT directory
-INSTALL_DIR = $(dir $(shell which gnatls))..
 prefix=$(INSTALL_DIR)
 
 # System commands