Public | Automated Build

Last pushed: 2 months ago
Short Description
Debian 9 docker image with MiKTeX build environment
Full Description

Debian 9 Docker image with MiKTeX build environment

Obtaining the image

Get the latest image from the registry:

docker pull miktex/miktex-build-stretch

or build it yourself:

docker build --tag miktex/miktex-build-stretch .

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.

Example

Build the MiKTeX deb package:

mkdir -p ~/work/miktex/source
mkdir -p ~/work/miktex/builds/stretch
curl -fsSL https://miktex.org/download/ctan/systems/win32/miktex/source/miktex-2.9.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/stretch:/miktex/build:rw \
  miktex/miktex-build-stretch

The build artifact miktex-*.deb will be written to
~/work/miktex/builds/stretch.

Docker Pull Command
Owner
miktex

Comments (0)