summarylogtreecommitdiffstats
path: root/Makefile-patch
diff options
context:
space:
mode:
authorRod Kay2017-06-16 17:02:21 +1000
committerRod Kay2017-06-16 17:02:21 +1000
commit36f78495f68c65298c27b6904c931e81005129eb (patch)
tree9d72effcd652c933e2e0742aa87f6fb621b15d40 /Makefile-patch
parent7e8259c6fa7404580d250eaa08014c108053ba79 (diff)
downloadaur-36f78495f68c65298c27b6904c931e81005129eb.tar.gz
Update to gpl2017 version
Diffstat (limited to 'Makefile-patch')
-rw-r--r--Makefile-patch23
1 files changed, 23 insertions, 0 deletions
diff --git a/Makefile-patch b/Makefile-patch
new file mode 100644
index 000000000000..143b3b825adb
--- /dev/null
+++ b/Makefile-patch
@@ -0,0 +1,23 @@
+--- asis-gpl-2017-src/Makefile
++++ asis-gpl-2017-src-new/Makefile
+@@ -9,7 +9,8 @@
+ # ==================================================== build
+
+ .PHONY: all
+-all: setup-snames
++#all: setup-snames
++all:
+ $(GPRBUILD) -p -j0 -XBLD=$(BLD) -XASISOPSYS=$(ASISOPSYS) -XGNSA=$(GNSA) \
+ $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr
+
+@@ -30,7 +31,8 @@
+ # snames.ads". 'cmp' returns true (i.e. 0) if the files are identical.
+
+ .PHONY: setup
+-setup: setup-snames setup-factory
++setup: setup-factory
++#setup: setup-snames setup-factory
+
+ .PHONY: setup-snames
+ setup-snames: gnat/snames.ads-tmpl gnat/snames.adb-tmpl gnat/xutil.ads gnat/xutil.adb
+