From b827286f7430cc11e4ca6988ca9cee140e18ed36 Mon Sep 17 00:00:00 2001
From: Blady <blady.net@orange.fr>
Date: Mon, 28 Nov 2022 21:21:13 +0100
Subject: [PATCH] Add a convenient makefile target in order to install
 libgnatdoc. Add GPR_OPTIONS macro.

---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3371e0b..e4a2496 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,13 @@
+prefix := $(dir $(shell which gnatls))..
+GPR_OPTIONS=
+INSTALLER=${GPRINSTALL} -p -f ${GPR_OPTIONS} --prefix='${prefix}'
 
 all:
-	gprbuild -j0 -p -P gnat/libgnatdoc.gpr -XSUPERPROJECT=
-	gprbuild -j0 -p -P gnat/gnatdoc.gpr -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XSUPERPROJECT= -XGPR_UNIT_PROVIDER_BUILD=debug
+	gprbuild -j0 -p -P gnat/libgnatdoc.gpr ${GPR_OPTIONS} -XSUPERPROJECT=
+	gprbuild -j0 -p -P gnat/gnatdoc.gpr ${GPR_OPTIONS} -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XSUPERPROJECT= -XGPR_UNIT_PROVIDER_BUILD=debug
+
+install-lib:
+	${INSTALLER} -P gnat/libgnatdoc.gpr
 
 clean:
 	rm -rf .objs bin