#!/bin/bash -e

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