diff options
Diffstat (limited to '')
| -rw-r--r-- | config/makefiles/target_binaries.mk | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/config/makefiles/target_binaries.mk b/config/makefiles/target_binaries.mk new file mode 100644 index 0000000000..31b2c4367e --- /dev/null +++ b/config/makefiles/target_binaries.mk @@ -0,0 +1,43 @@ +# -*- makefile -*- +# vim:set ts=8 sw=8 sts=8 noet: +# +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +ifndef NO_DIST_INSTALL + +ifneq (,$(strip $(SIMPLE_PROGRAMS)$(RUST_PROGRAMS))) +PROGRAMS_EXECUTABLES = $(SIMPLE_PROGRAMS) $(RUST_PROGRAMS) +PROGRAMS_DEST ?= $(FINAL_TARGET) +PROGRAMS_TARGET := target +INSTALL_TARGETS += PROGRAMS +endif + + +ifdef SHARED_LIBRARY +SHARED_LIBRARY_FILES = $(SHARED_LIBRARY) +SHARED_LIBRARY_DEST ?= $(FINAL_TARGET) +ifndef SHARED_LIBRARY_TARGET +SHARED_LIBRARY_TARGET = target +endif +INSTALL_TARGETS += SHARED_LIBRARY +endif # SHARED_LIBRARY + +ifdef WASM_LIBRARY +WASM_LIBRARY_FILES = $(WASM_LIBRARY) +WASM_LIBRARY_DEST ?= $(FINAL_TARGET) +WASM_LIBRARY_TARGET = target +INSTALL_TARGETS += WASM_LIBRARY +endif + +ifneq (,$(strip $(HOST_SIMPLE_PROGRAMS))) +HOST_PROGRAMS_EXECUTABLES = $(HOST_SIMPLE_PROGRAMS) $(HOST_RUST_PROGRAMS) +HOST_PROGRAMS_DEST ?= $(DIST)/host/bin +HOST_PROGRAMS_TARGET = host +INSTALL_TARGETS += HOST_PROGRAMS +endif + +endif # !NO_DIST_INSTALL + +# EOF |