Projects/OpenTally
Projects/OpenTally
14
0
Fork 0
Code Issues Pull Requests Activity

Clean up utility files

Browse Source
This commit is contained in:
RunasSudo 2022-08-22 19:19:22 +10:00
parent 395de771fa
commit cb1cc5fb72
No known key found for this signature in database
GPG Key ID: 7234E476BF21C61A
10 changed files with 32 additions and 70 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
rustc_bs.sh
View File

@ -1,3 +0,0 @@
#!/bin/bash
RUSTC_BOOTSTRAP=1 rustc $@

0
benchmark.sh → scripts/benchmark.sh
View File

0
build_docs.sh → scripts/build_docs.sh
View File

0
build_homepage.sh → scripts/build_homepage.sh
View File

0
build_wasm.sh → scripts/build_wasm.sh
View File

0
coverage.sh → scripts/coverage.sh
View File

31
scripts/deploy.sh Executable file
View File

@ -0,0 +1,31 @@
#!/bin/bash
DESTDIR='/home/runassudo/Documents/Work/School Cloud Data/unenc/public/www/opentally'
# Prevent deploy with unstaged changes
git update-index --refresh > /dev/null
if git diff-index --quiet HEAD -- ; then true; else
echo Cannot deploy with unstaged changes
exit 1
fi
# Rebuild WASM
./scripts/build_wasm.sh
# Build homepage
./scripts/build_homepage.sh
# Copy files
#mkdir "$DESTDIR/stv/"
cp -r html/* "$DESTDIR/stv/"
# Replace GITVERSION, etc.
GITVERSION=$(git rev-parse --short HEAD)
sed -i "s#GITVERSION#$GITVERSION#g" "$DESTDIR/stv/index.html"
sed -i "s#GITVERSION#$GITVERSION#g" "$DESTDIR/stv/index.js"
sed -i "s#GITVERSION#$GITVERSION#g" "$DESTDIR/stv/worker.js"

0
mkbaseline.sh → scripts/mkbaseline.sh
View File

2
profile.sh → scripts/profile.sh
View File

@ -1,6 +1,6 @@
#!/bin/bash
cargo build --profile perf || exit
rm perf.data
rm target/perf.data
# Burn in
./target/perf/opentally stv tests/data/raw/VIC2022.bin --bin --round-votes 0 --round-quota 0 --quota droop --quota-criterion geq --ties backwards random --random-seed 20210727 --surplus uig --surplus-order by_order --exclusion by_value --pp-decimals 0 $@

66
test.csp
View File

@ -1,66 +0,0 @@
Evans,Grey,Thomson,Ames,Reid,Spears,White,$mult
1,0,2,0,0,0,0,1
0,1,0,2,0,0,3,1
3,1,0,0,0,2,4,1
0,1,4,0,3,2,0,1
0,0,1,0,0,0,0,1
0,0,0,1,0,0,0,1
0,0,1,0,0,0,0,1
0,0,0,1,0,0,0,1
0,0,0,1,0,0,0,1
0,0,1,0,0,0,0,1
0,0,0,0,1,0,2,1
2,0,0,1,0,0,0,1
0,0,0,0,0,1,0,1
0,0,0,1,0,0,0,1
0,1,2,0,0,0,0,1
0,0,1,0,0,0,0,1
0,0,0,0,0,0,1,1
0,0,0,1,0,0,0,1
0,1,0,2,0,0,3,1
0,1,0,2,0,0,3,1
0,0,0,1,0,0,0,1
0,1,2,0,0,0,0,1
0,0,0,1,0,0,0,1
0,0,0,0,0,0,1,1
0,1,0,0,0,2,0,1
2,1,0,0,0,0,0,1
0,0,0,0,0,0,1,1
3,1,4,2,0,0,0,1
0,0,0,1,0,0,0,1
0,0,0,0,0,1,0,1
0,0,0,0,0,1,0,1
0,1,3,2,0,0,4,1
0,0,0,0,0,1,0,1
0,1,0,0,0,0,2,1
0,1,0,0,0,0,2,1
3,1,0,0,0,2,4,1
0,0,1,0,0,0,0,1
0,1,0,2,0,0,3,1
0,1,0,0,0,2,0,1
0,1,3,2,0,0,4,1
0,1,0,0,0,2,0,1
0,1,0,2,0,0,3,1
0,0,0,1,0,0,0,1
0,1,0,0,0,2,3,1
3,1,0,0,0,2,0,1
0,1,0,2,0,0,3,1
0,0,0,0,0,1,0,1
0,1,0,2,0,0,3,1
0,1,2,0,0,0,0,1
0,0,0,0,0,1,0,1
0,1,4,0,3,2,0,1
3,1,0,2,0,0,4,1
0,0,0,0,0,1,0,1
0,0,0,0,0,1,0,1
2,1,0,0,0,0,0,1
0,1,0,2,0,0,3,1
4,1,0,0,3,2,5,1
0,1,0,0,0,0,2,1
0,1,3,2,0,0,4,1
0,0,0,0,0,1,0,1
0,1,2,0,0,0,0,1
0,1,0,0,2,0,3,1
4,1,5,2,3,0,0,1
0,0,0,0,0,1,0,1
0,0,0,0,0,1,0,1