Skip to content

Commit

Permalink
update configure.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
lukaszcz committed Oct 16, 2024
1 parent 9f42d0b commit 341f2ab
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions config/configure.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
#!/usr/bin/env bash

# This script should be run from the root of the project

if [ ! -d "config" ]; then
printf "This script should be run from the root of the project.\n" 1>&2
exit 1
Expand All @@ -27,4 +25,11 @@ else
RUST="false"
fi

printf "{\n \"wasm\": $WASM,\n \"rust\": $RUST,\n \"clang\": \"$CC\",\n \"cargo\": \"$CARGO\"\n}\n" > config/config.json
cat <<EOF > config/config.json
{
"wasm": $WASM,
"rust": $RUST,
"clang": "$CC",
"cargo": "$CARGO"
}
EOF

0 comments on commit 341f2ab

Please sign in to comment.