blob: 0fd79324838f01084732115ee7140eb9cf8844e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/bash
#
# binary_size: Build arti with a given set of options, and
# dump the binary size in a json format.
set -euo pipefail
ORIGDIR=$(pwd)
TMPDIR=$(mktemp -d -t arti_binsize.XXXXXX)
trap 'cd "$ORIGDIR" && rm -rf "$TMPDIR"' 0
RUST_TARGET=$(rustc -vV | sed -n 's|host: ||p')
cd "$(dirname "$0")/.."
echo "{"
echo " \"date\": \"$(date -u -Iseconds)\","
echo " \"head\": \"$(git rev-parse HEAD)\","
echo " \"default_target\": \"$RUST_TARGET\","
echo " \"options\": \"$*\","
cargo build --release "$@"
cp ./target/release/arti "$TMPDIR"
cd "$TMPDIR"
strip --strip-debug arti
gzip -9 -k arti
xz -9 -k arti
du -sb arti arti.gz arti.xz | sed -e 's/\(\S*\)\s\(\S*\)/ "\2": \1,/;'
echo "}"
|
