tree 76ed627af78383a436a3da6860a27d3b573ea8bd
parent db236b073c327c5f4c1e4658527c8f9779cc4321
author Arthur Heymans <arthur@aheymans.xyz> 1782334890 +0200
committer Nico Huber <nico.h@gmx.de> 1782637110 +0000

manibuilder: Refresh DJGPP image

Replace the unmaintained anibali/djgpp image with a Debian-based image
that installs the current prebuilt DJGPP GCC 12.2.0 toolchain.

The old container depended on flashprog.org artifact downloads for a
pciutils patch and libgetopt tarball. Those URLs are gone, so build
against pciutils 3.15.0 directly and use the public getopt 2.5 tarball.

Update the manibuilder DJGPP tag and build documentation accordingly.

Tested:
- podman run ... getopt configure && make
- make -C util/manibuilder show-working
- make -C util/manibuilder -n 'djgpp:12.2.0-build'

Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Change-Id: If39a15012dc83b1a2b33e0824b1c44646a6a6964
Reviewed-on: https://review.sourcearcade.org/c/flashprog/+/520
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Nico Huber <nico.h@gmx.de>