aniani/elinks
1
0
Fork 0
mirror of https://github.com/rkd77/elinks.git synced 2024-10-02 03:46:21 -04:00
Code
86b621966e
elinks/docker/djgpp/build_mujs.sh

8 lines
290 B
Bash
Raw Normal View History

[docker] Updated Docker file for djgpp
2023-11-15 12:05:20 -05:00
cd
[docker] Also upgrade mujs for dos
2023-11-23 08:26:02 -05: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 12:05:20 -05:00
patch -p1 < ../mujs.diff
[docker] Also upgrade mujs for dos
2023-11-23 08:26:02 -05: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
Copy Permalink