diff options
| author | Xiretza | 2021-08-17 09:32:45 +0200 |
|---|---|---|
| committer | Xiretza | 2021-08-17 09:33:27 +0200 |
| commit | 058ad1314010c26398b5f3e83f06db76238589f4 (patch) | |
| tree | 6e66b9b50367b2ed1738727a39187011ed7268f2 /0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch | |
| parent | da3b6a49d4e02a6354670f585322431053ab4ecf (diff) | |
| download | aur-058ad1314010c26398b5f3e83f06db76238589f4.tar.gz | |
Split patches, add dependencies, fix build flags
Diffstat (limited to '0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch')
| -rw-r--r-- | 0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch b/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch new file mode 100644 index 000000000000..f2a99f39f8bd --- /dev/null +++ b/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch @@ -0,0 +1,25 @@ +From d083c93ea98b87404382d2895413f9cf94e6d593 Mon Sep 17 00:00:00 2001 +From: Xiretza <xiretza@xiretza.xyz> +Date: Fri, 6 Aug 2021 13:54:19 +0200 +Subject: [PATCH 3/3] Makefile: allow passing custom flags to gprbuild + +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index 8d02469..ffbf1e3 100644 +--- a/Makefile ++++ b/Makefile +@@ -1,7 +1,7 @@ + DESTDIR= + + all: generated +- gprbuild -p -P ada_libfswatch ++ gprbuild -p -P ada_libfswatch $(GPRBUILD_FLAGS) + + # generate the Ada binding + generated: +-- +2.32.0 + |