newlib: Support building version 4.4.0.20231231

Signed-off-by: Alistair Francis <[email protected]>

Author: alistair23

libc++/docker/docker-libc++-14.1.0/Dockerfile

@@ -0,0 +1,26 @@
+FROM debian:trixie
+
+LABEL maintainer="Tock Project Developers <[email protected]>"
+LABEL version="0.1"
+LABEL description="Dockerfile to build libtock-c libc++."
+
+# Disable Prompt During Packages Installation
+ARG DEBIAN_FRONTEND=noninteractive
+# Update Ubuntu Software repository
+RUN apt update
+
+# Install our toolchains
+RUN apt install -y gcc-arm-none-eabi gcc-riscv64-unknown-elf
+
+# Install needed tools
+RUN apt install -y git build-essential wget rsync zip texinfo
+
+# Install needed library
+RUN apt install -y libmpc-dev file
+
+# Clone the libtock-c source so we can use the build scripts
+RUN git clone https://github.com/alistair23/libtock-c
+RUN cd libtock-c && git fetch && git checkout 35f27e15df6a7672fae8cc4eb72350dcc42ef1bd
+
+# Actually build the toolchain
+RUN cd libtock-c/libc++ && make GCC_VERSION=14.1.0 NEWLIB_VERSION=4.4.0.20231231 -j16

libc++/docker/docker-libc++-14.1.0/docker-create.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+docker build -t libtock-c-libcpp-14.1.0 .
+id=$(docker create libtock-c-libcpp-14.1.0)
+docker cp $id:/libtock-c/libc++/libtock-libc++-14.1.0.zip libtock-libc++-14.1.0.zip

newlib/docker/docker-newlib-4.4.0.20231231/Dockerfile

@@ -0,0 +1,27 @@
+###
+### Dockerfile to build libtock-newlib-4.4.0.20231231
+###
+
+FROM debian:trixie
+
+LABEL maintainer="Tock Project Developers <[email protected]>"
+LABEL version="0.1"
+LABEL description="Dockerfile to build libtock-c newlib 4.4.0.20231231."
+
+# Disable Prompt During Packages Installation
+ARG DEBIAN_FRONTEND=noninteractive
+# Update Ubuntu Software repository
+RUN apt update
+
+# Install our toolchains
+RUN apt install -y gcc-arm-none-eabi gcc-riscv64-unknown-elf
+
+# Install needed tools
+RUN apt install -y git build-essential wget rsync texinfo zip
+
+# Clone the libtock-c source so we can use the build scripts
+RUN git clone https://github.com/alistair23/libtock-c
+RUN cd libtock-c && git fetch && git checkout 35f27e15df6a7672fae8cc4eb72350dcc42ef1bd
+
+# Actually build the toolchain
+RUN cd libtock-c/newlib && make NEWLIB_VERSION=4.4.0.20231231

newlib/docker/docker-newlib-4.4.0.20231231/docker-create.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+docker build -t libtock-c-newlib-4.4.0.20231231 .
+id=$(docker create libtock-c-newlib-4.4.0.20231231)
+docker cp $id:/libtock-c/newlib/libtock-newlib-4.4.0.20231231.zip libtock-newlib-4.4.0.20231231.zip