elinks/docker/djgpp/build_mujs.sh

cd
wget https://mujs.com/downloads/mujs-1.3.4.tar.gz
rm -rf mujs-1.3.4
tar -xf mujs-1.3.4.tar.gz
cd mujs-1.3.4
patch -p1 < ../mujs.diff
make CC=i586-pc-msdosdjgpp-gcc AR=i586-pc-msdosdjgpp-ar HAVE_READLINE=no CFLAGS="-Wno-error -DWATT32_NO_NAMESPACE -U__STRICT_ANSI__" prefix=$HOME install
[docker] Updated Docker file for djgpp 2023-11-15 18:05:20 +01:00			`cd`
[docker] Also upgrade mujs for dos 2023-11-23 14:26:02 +01:00			`wget https://mujs.com/downloads/mujs-1.3.4.tar.gz`
			`rm -rf mujs-1.3.4`
			`tar -xf mujs-1.3.4.tar.gz`
			`cd mujs-1.3.4`
[docker] Updated Docker file for djgpp 2023-11-15 18:05:20 +01:00			`patch -p1 < ../mujs.diff`
[docker] Also upgrade mujs for dos 2023-11-23 14:26:02 +01:00			`make CC=i586-pc-msdosdjgpp-gcc AR=i586-pc-msdosdjgpp-ar HAVE_READLINE=no CFLAGS="-Wno-error -DWATT32_NO_NAMESPACE -U__STRICT_ANSI__" prefix=$HOME install`