summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-05-07 10:10:59 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-05-07 10:10:59 +0200
commitc9ba42a4ed3e98bc7936e07e1653103bac611861 (patch)
tree16695ffec1ead81b226f411ac6ad22936d28aa43 /Makefile
parent3fff4803a38c9e3ae22844319d6392e96ee7042e (diff)
downloadtoolchains-c9ba42a4ed3e98bc7936e07e1653103bac611861.tar.xz
toolchains-c9ba42a4ed3e98bc7936e07e1653103bac611861.zip
gdb: enable python scripting
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 7bfcec5..103b11b 100644
--- a/Makefile
+++ b/Makefile
@@ -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