vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Move Rust install to build dir

Browse source
This commit is contained in:
Ron Williams 2022-11-15 15:05:34 -08:00
parent b976d58a2a
commit 09bd6b1bc2
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
mk/podman.mk
View file

@ -8,7 +8,7 @@ IMAGE_TAG?=redox-base
## Working Directory in Podman ## Working Directory in Podman
CONTAINER_WORKDIR?=/mnt/redox CONTAINER_WORKDIR?=/mnt/redox
## Podman Home Directory ## Podman Home Directory
PODMAN_HOME?=build/podman PODMAN_HOME?="`pwd`/build/podman"
## Podman command with its many arguments ## Podman command with its many arguments
PODMAN_VOLUMES?=--volume "`pwd`":$(CONTAINER_WORKDIR):Z --volume $(PODMAN_HOME):/home:Z PODMAN_VOLUMES?=--volume "`pwd`":$(CONTAINER_WORKDIR):Z --volume $(PODMAN_HOME):/home:Z
PODMAN_ENV?=--env PATH=/home/poduser/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin --env PODMAN_BUILD=0 PODMAN_ENV?=--env PATH=/home/poduser/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin --env PODMAN_BUILD=0
@ -25,8 +25,7 @@ endif
container_clean: FORCE container_clean: FORCE
rm -f build/container.tag rm -f build/container.tag
@echo "If podman dir cannot be removed, " @echo "If podman dir cannot be removed, remove with \"sudo rm\"."
@echo "remove with \"sudo rm\"."
-rm -rf $(PODMAN_HOME) || true -rm -rf $(PODMAN_HOME) || true
@echo "For complete clean of images and containers, use \"podman system reset\"" @echo "For complete clean of images and containers, use \"podman system reset\""
-podman image rm --force $(IMAGE_TAG) || true -podman image rm --force $(IMAGE_TAG) || true
@ -44,8 +43,7 @@ endif
build/container.tag: $(CONTAINERFILE) build/container.tag: $(CONTAINERFILE)
ifeq ($(PODMAN_BUILD),1) ifeq ($(PODMAN_BUILD),1)
rm -f build/container.tag rm -f build/container.tag
@echo "If podman_home dir cannot be removed, " @echo "If podman_home dir cannot be removed, remove with \"sudo rm\"."
@echo "remove with \"sudo rm\"."
-rm -rf $(PODMAN_HOME) || true -rm -rf $(PODMAN_HOME) || true
-podman image rm --force $(IMAGE_TAG) || true -podman image rm --force $(IMAGE_TAG) || true
mkdir -p $(PODMAN_HOME) mkdir -p $(PODMAN_HOME)