123456789101112131415161718192021222324252627282930313233 |
- #!/bin/bash
- if [[ $BASH_SOURCE = */* ]]; then
- cd -- "${BASH_SOURCE%/*}/" || exit
- fi
- ./clone-fig9-livenet
- echo "Building PRAC..."
- echo
- ( cd .. && make -j`nproc` ) || exit 1
- echo
- echo "Building Circuit ORAM..."
- echo
- ( cd comps/circuit-oram && ant ) || exit 1
- echo
- echo "Building Ramen..."
- echo
- ( cd comps/ramen && cargo build --release --example=bench_doram ) || exit 1
- echo
- echo "Done."
|