Rename build-docker.sh to docker-setup.sh

This commit is contained in:
MisterSheeple
2024-08-05 05:26:26 +00:00
committed by GitHub
parent 2ea8e32049
commit f006b89fb5
+24
View File
@@ -0,0 +1,24 @@
echo "Please ensure Docker is installed before continuing."
read -p "Press Enter to continue or CTRL-C to exit."
docker build -t ac-decomp .
if [ -e /bin/curl ]; then
curl -O https://files.decomp.dev/compilers_latest.zip
elif [ -e /bin/wget ]; then
wget https://files.decomp.dev/compilers_latest.zip
else
echo "You do not seem to have curl or wget installed on this system. Please install one or the other to continue."
exit 0
fi
mkdir compilers_temp
if [ -e /bin/unzip ]; then
unzip compilers_latest.zip -d compilers_temp
else
echo "You do not seem to have unzip installed on this system. Please install it to continue."
rm compilers_latest.zip
rm -r compilers_temp
exit 1
fi
mv compilers_temp/GC/1.2.5n/ tools/ && mv compilers_temp/GC/1.3.2/ tools/ && mv compilers_temp/GC/1.3.2r/ tools/
rm -r compilers_temp compilers_latest.zip
echo "Docker image setup is now complete. You may proceed with the instructions."