diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-08 13:39:11 +0200 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-08 13:39:11 +0200 |
| commit | 1d0cda353fe1fbea440033db140605a88ec7dd98 (patch) | |
| tree | 4ed8c051fdbdfa9b7faa2457eb302911ffb4ce97 /Makefile | |
| parent | 76e598700ce4fa64eba251085af7fd85a03bfe6f (diff) | |
| download | hvinfo-1d0cda353fe1fbea440033db140605a88ec7dd98.tar.gz hvinfo-1d0cda353fe1fbea440033db140605a88ec7dd98.zip | |
Add makefile option for build target.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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 \ |