FROM ubuntu:jammy AS deps

RUN apt-get update && apt-get install -y software-properties-common
RUN add-apt-repository ppa:tkchia/build-ia16
RUN apt-get update && apt-get install -y gcc-ia16-elf
RUN apt-get install nasm make


FROM deps AS dev

WORKDIR /workspace
RUN adduser paul
USER 1000:1000


FROM deps AS build

ARG TARGET

ADD . /workspace
WORKDIR /workspace
RUN make ${TARGET}


FROM scratch AS export

ARG TARGET

COPY --from=build /workspace/${TARGET} /