Add a REPL page to the website at /repl/index.html

This commit is contained in:
Brian Carroll 2022-02-28 19:29:09 +00:00
parent f30c07edd0
commit 223a9edfd2
2 changed files with 9 additions and 2 deletions

View File

@ -1,6 +1,6 @@
#!/usr/bin/env bash
set -eux
set -euxo pipefail
if [[ ! -d repl_www ]]
then
@ -14,7 +14,8 @@ then
cargo install wasm-pack
fi
WWW_DIR="repl_www/build"
# output directory is first argument or default
WWW_DIR="${1:-repl_www/build}"
mkdir -p $WWW_DIR
cp repl_www/public/* $WWW_DIR

View File

@ -11,6 +11,12 @@ cd $SCRIPT_RELATIVE_DIR
rm -rf build/
cp -r public/ build/
# Build the repl page
mkdir -p build/repl
pushd ..
repl_www/build.sh www/build/repl
popd
# grab the source code and copy it to Netlify's server; if it's not there, fail the build.
pushd build
wget https://github.com/rtfeldman/elm-css/files/8037422/roc-source-code.zip