2018-10-25 20:55:20 +02:00
|
|
|
#!/bin/sh
|
2018-12-05 18:21:36 +01:00
|
|
|
|
2019-10-07 21:14:58 +02:00
|
|
|
#build and install recent mingw-w64
|
|
|
|
|
if [ ! -e "$HOME/.local/bin/x86_64-w64-mingw32-gcc" ]; then
|
|
|
|
|
mkdir -p $HOME/mingw-w64-build/
|
|
|
|
|
(cd $HOME/mingw-w64-build && $HOME/proton/build-mingw-w64.sh "$HOME/.local/")
|
|
|
|
|
#clean up the build tree, this takes up like 6GB
|
|
|
|
|
rm -rf $HOME/mingw-w64-build/
|
2019-06-24 16:32:26 +02:00
|
|
|
fi
|
