diff options
Diffstat (limited to 'third-party/Makefile.rules')
| -rw-r--r-- | third-party/Makefile.rules | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/third-party/Makefile.rules b/third-party/Makefile.rules new file mode 100644 index 000000000..ac4189ac4 --- /dev/null +++ b/third-party/Makefile.rules @@ -0,0 +1,37 @@ + +ifeq ($(NOISY_BUILD),) + SUBMAKE?=$(MAKE) --quiet --no-print-directory + ECHO_PREFIX?=@ + CMD_PREFIX?=@ + QUIET_CONFIGURE=-q + REALLY_QUIET=&>/dev/null +else + SUBMAKE?=$(MAKE) + ECHO_PREFIX?=@\# + CMD_PREFIX?= + QUIET_CONFIGURE= + REALLY_QUIET= +endif + +DOWNLOAD := +DOWNLOAD != which wget 2>/dev/null +DOWNLOAD:=$(if $(DOWNLOAD),$(DOWNLOAD) -O- ,) + +ifeq ($(DOWNLOAD),) +DOWNLOAD != which curl 2>/dev/null +DOWNLOAD:=$(if $(DOWNLOAD), $(DOWNLOAD) -L ,) +endif + +ifeq ($(DOWNLOAD),) +DOWNLOAD := echo "No download program available" ; exit 1; +endif + +export SUBMAKE +export ECHO_PREFIX +export CMD_PREFIX +export QUIET_CONFIGURE +export REALLY_QUIET +export ASTTOPDIR +export ASTSBINDIR +export DESTDIR +export ASTDATADIR |