roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-10 10:02:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

www: Change download URL for pre-built web REPL

Browse Source 
I'm making changes more frequently to the REPL than we are to the source code.
I want to be able to deploy it from a script rather than opening new GitHub issues,
so I decided to just commit the assets into a branch of a GitHub repo.
The repo was only used as a prototype for the web REPL so I don't use it anymore.
This commit is contained in:
Brian Carroll 2022-03-04 13:12:56 +00:00
parent f8e23d93cc
commit 3867b2da01
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
www/build.sh
View File

@ -12,13 +12,18 @@ rm -rf build/
cp -r public/ build/
pushd build
# grab the source code and copy it to Netlify's server; if it's not there, fail the build.
wget https://github.com/rtfeldman/elm-css/files/8037422/roc-source-code.zip
# grab the pre-compiled REPL and copy it to Netlify's server; if it's not there, fail the build.
wget https://github.com/brian-carroll/mock-repl/files/8167902/roc_repl_wasm.tar.gz
tar xzvf roc_repl_wasm.tar.gz
rm roc_repl_wasm.tar.gz
wget https://github.com/brian-carroll/mock-repl/archive/refs/heads/deploy.zip
unzip deploy.zip
mv mock-repl-deploy/* .
rmdir mock-repl-deploy
rm deploy.zip
# Copy REPL webpage source files
cp -r ../../repl_www/public/* .
popd