diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -15,17 +15,19 @@ GMP_VERSION ?= 6.3.0 MPFR_VERSION ?= 4.2.2 MPC_VERSION ?= 1.4.1 +PYTHON_VERSION ?= 3.14 + TARGET ?= x86_64-pc-elf PLATFORM ?= x86-64 REGISTRY ?= registry.gitlab.ost.ch:45023 -IMAGE_BUILD ?= 1 +IMAGE_BUILD ?= 2 IMAGE_BASENAME = teachos/devcontainers IMAGE_NAME = $(REGISTRY)/$(IMAGE_BASENAME) -IMAGE_TAG = $(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD) -ARCHIVE_NAME = teachos-$(PLATFORM)-$(GCC_VERSION)-$(IMAGE_BUILD).tar +IMAGE_TAG = $(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD)-py$(PYTHON_VERSION) +ARCHIVE_NAME = teachos-$(PLATFORM)-$(GCC_VERSION)-$(IMAGE_BUILD)-py$(PYTHON_VERSION).tar .PHONY: all clean container_image @@ -58,6 +60,7 @@ container_image: Containerfile --build-arg GMP_VERSION=$(GMP_VERSION) \ --build-arg MPFR_VERSION=$(MPFR_VERSION) \ --build-arg MPC_VERSION=$(MPC_VERSION) \ + --build-arg PYTHON_VERSION=$(PYTHON_VERSION) \ --tag $(IMAGE_NAME)/$(IMAGE_TAG) \ . podman tag $(IMAGE_NAME)/$(IMAGE_TAG) $(IMAGE_NAME)/$(PLATFORM):latest |