diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2017-07-28 11:44:33 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-28 12:36:48 -0400 |
| commit | 274e9b27de30e1b7d5db8cb97b34d53ae9609a9b (patch) | |
| tree | 1094f3284ae7bd285bfd3dfd715897e832db7dfd /Makefile | |
| parent | 262bb95f5e00eea783d3e756fe86d96839be45d7 (diff) | |
| download | haskell-274e9b27de30e1b7d5db8cb97b34d53ae9609a9b.tar.gz | |
Add “BINARY_DIST_DIR” to Makefile
This allows to customize the location where binary distributions are
placed with `make binary-dist`.
E.g. using:
```
BINARY_DIST_DIR=/path/to/bindists make binary-dist
```
will place binary dists outside of the source tree into the given
folder.
This change falls back to ".", which is the old behaviour.
Test Plan: build binary-dist
Reviewers: bgamari, austin
Reviewed By: bgamari
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D3798
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -129,9 +129,15 @@ endif @echo "===--- building final phase" $(MAKE) --no-print-directory -f ghc.mk phase=final $@ +# if BINARY_DIST_DIR is not set, assume we want the old +# behaviour of placing the binary dist into the current +# directory. Provide BINARY_DIST_DIR to put the final +# binary distribution elsewhere. +BINARY_DIST_DIR ?= . + .PHONY: binary-dist binary-dist: binary-dist-prep - mv bindistprep/*.tar.$(TAR_COMP_EXT) . + mv bindistprep/*.tar.$(TAR_COMP_EXT) "$(BINARY_DIST_DIR)" .PHONY: binary-dist-prep binary-dist-prep: |