Fedora 38 docker image with MiKTeX build environment

Obtaining the image

Get the latest image from the registry:

docker pull miktex/miktex-build-fedora:38

or build it yourself:

docker build --tag miktex/miktex-build-fedora:38 .

Using the image

Prerequisites

MiKTeX source code must be mounted to the container path /miktex/source and the build directory must be mounted to the container path /miktex/build.

You should specify a user by setting the container environment variables USER_ID and GROUP_ID.

Example

Build the MiKTeX RPM:

mkdir -p ~/work/miktex/source
mkdir -p ~/work/miktex/builds/fedora-38
curl -fsSL https://miktex.org/download/ctan/systems/win32/miktex/source/miktex-23.12.tar.xz | \
  tar -xJ --strip-components=1 -C ~/work/miktex/source
docker run -t \
  -v ~/work/miktex/source:/miktex/source:ro \
  -v ~/work/miktex/builds/fedora-38:/miktex/build:rw \
  -e USER_ID=`id -u` \
  -e GROUP_ID=`id -g` \
  miktex/miktex-build-fedora:38

The build artifact miktex-*.rpm will be written to ~/work/miktex/builds/fedora-38.