From 1d0cda353fe1fbea440033db140605a88ec7dd98 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Wed, 8 Apr 2015 13:39:11 +0200
Subject: Add makefile option for build target.

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e8ac99b..9893b1a 100644
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,13 @@ GNATPREP = gnatprep
 
 INSTALL = install
 
+BUILD_TARGET =
+BUILD_FLAGS =
+
+ifdef BUILD_TARGET
+BUILD_FLAGS = --target=$(BUILD_TARGET)
+endif
+
 all: src/config.ads hvinfo
 
 src/config.ads: VERSION mkconfig.sh src/config.ads.in
@@ -37,7 +44,7 @@ src/config.ads: VERSION mkconfig.sh src/config.ads.in
 .PHONY: hvinfo
 hvinfo:
 	mkdir -p $(BUILD_DIR)
-	$(GPRBUILD) -Phvinfo
+	$(GPRBUILD) -Phvinfo $(BUILD_FLAGS)
 
 clean:
 	if test -d $(BUILD_DIR); then \
-- 
cgit v1.2.3