#!/bin/bash -e

DIR="$(pwd)"
(
    cd "$1/rust"
    cargo build --release
    echo "Copying to $DIR"
    cp target/release/libslim.a "$DIR/libslim.a"
)