public
/
toolchain
5
0
Fork 0
Code Issues 5 Pull Requests 1 Packages Projects Releases Wiki Activity

allow override for toolchain docker volume and workdir for niche environments

This commit is contained in:
Lance Vick 2023-05-02 14:55:45 -07:00
parent 70c9e403ac
commit a4086420ca
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
2 changed files with 34 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Makefile
View File

@ -13,7 +13,7 @@ IMAGE := local/$(NAME)
UID := $(shell id -u) UID := $(shell id -u)
GID := $(shell id -g) GID := $(shell id -g)
USER := $(UID):$(GID) USER := $(UID):$(GID)
CPUS := $(shell docker run -it debian nproc) CPUS := $(shell docker run debian nproc)
PRESERVE_CACHE := "false" PRESERVE_CACHE := "false"
GIT_REF := $(shell git log -1 --format=%H) GIT_REF := $(shell git log -1 --format=%H)
GIT_AUTHOR := $(shell git log -1 --format=%an) GIT_AUTHOR := $(shell git log -1 --format=%an)
@ -214,6 +214,8 @@ define fetch_pgp_key
') ')
endef endef
TOOLCHAIN_VOLUME := $(PWD):/home/build
TOOLCHAIN_WORKDIR := /home/build
define toolchain define toolchain
docker run \ docker run \
--rm \ --rm \
@ -224,10 +226,11 @@ define toolchain
--platform=linux/$(ARCH) \ --platform=linux/$(ARCH) \
--privileged \ --privileged \
--cpus $(CPUS) \ --cpus $(CPUS) \
--volume $(PWD):/home/build \ --volume $(TOOLCHAIN_VOLUME) \
--workdir /home/build \ --workdir $(TOOLCHAIN_WORKDIR) \
--env-file=$(CONFIG_DIR)/global.env \ --env-file=$(CONFIG_DIR)/global.env \
--env-file=$(CACHE_DIR_ROOT)/toolchain.env \ --env-file=$(CACHE_DIR_ROOT)/toolchain.env \
$(shell cat cache/toolchain.state 2> /dev/null) \ $(shell cat cache/toolchain.state 2> /dev/null) \
$(SRC_DIR)/toolchain/scripts/host-env bash -c $(1) $(SRC_DIR)/toolchain/scripts/host-env bash -c $(1)
endef endef

10
scripts/host-env
View File

@ -6,7 +6,10 @@ gid=${GID?}
user=${USER:-"build"} user=${USER:-"build"}
export HOME="/home/${user}" export HOME="/home/${user}"
groupdel dialout # If running user is not root, pivot to custom user/group
[ "$uid" != "0" ] && {
getent group "$gid" && groupdel "$gid"
getent passwd "$uid" && userdel "$uid"
groupadd -g "$gid" "${user}" groupadd -g "$gid" "${user}"
useradd \ useradd \
-g "$gid" \ -g "$gid" \
@ -15,6 +18,7 @@ useradd \
-d "/home/${user}" \ -d "/home/${user}" \
-s /bin/bash \ -s /bin/bash \
"${user}" "${user}"
cd "$HOME"
setpriv --reuid="$uid" --regid="$gid" --init-groups "$@" setpriv --reuid="$uid" --regid="$gid" --init-groups "$@"
}
exec "$@"