prooflab-rs/install_prooflab_from_source.sh at main · ProofLabDev/prooflab-rs · GitHub

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
#!/bin/bash
set -e

SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

echo "Installing prooflab-rs from source..."

BASE_DIR=$HOME
PROOFLAB_DIR="${PROOFLAB_DIR-"$BASE_DIR/.prooflab"}"
PROOFLAB_BIN_DIR="$PROOFLAB_DIR/bin"
PROOFLAB_BIN_PATH="$PROOFLAB_BIN_DIR/prooflab"

# Create bin directory
mkdir -p "$PROOFLAB_BIN_DIR"

# Build from source using local code
echo "Building prooflab-rs from source..."
cargo build --release -p prooflab
cp target/release/prooflab "$PROOFLAB_BIN_PATH"

chmod +x "$PROOFLAB_BIN_PATH"

# Store the correct profile file
case $SHELL in
*/zsh)
    PROFILE="${ZDOTDIR-"$HOME"}/.zshenv"
    PREF_SHELL=zsh
    ;;
*/bash)
    PROFILE=$HOME/.bashrc
    PREF_SHELL=bash
    ;;
*/fish)
    PROFILE=$HOME/.config/fish/config.fish
    PREF_SHELL=fish
    ;;
*/ash)
    PROFILE=$HOME/.profile
    PREF_SHELL=ash
    ;;
*)
    echo "prooflab-rs: could not detect shell, manually add ${PROOFLAB_BIN_DIR} to your PATH."
    exit 1
esac

# Only add to PATH if it isn't already there
if [[ ":$PATH:" != *":${PROOFLAB_BIN_DIR}:"* ]]; then
    if [[ "$PREF_SHELL" == "fish" ]]; then
        echo >> "$PROFILE" && echo "fish_add_path -a $PROOFLAB_BIN_DIR" >> "$PROFILE"
    else
        echo >> "$PROFILE" && echo "export PATH=\"\$PATH:$PROOFLAB_BIN_DIR\"" >> "$PROFILE"
    fi
fi

echo "prooflab built and installed successfully in $PROOFLAB_BIN_PATH"
echo "Detected your preferred shell is $PREF_SHELL and added to PATH."
echo "Installing zkVM toolchains"

# Check for RISC0 toolchain
echo "Checking for RISC0 toolchain..."
if ! command -v rzup &> /dev/null; then
    echo "Installing RISC0 toolchain..."
    curl -L https://risczero.com/install | bash
    export PATH="$PATH:$HOME/.risc0/bin"
    rzup --version || true
    rzup install cargo-risczero 3.0.3 || true
    rzup install risc0-groth16 || true
else
    echo "RISC0 toolchain already installed"
fi
cargo risczero --version

# Check for SP1 toolchain
echo "Checking for SP1 toolchain..."
if ! command -v sp1up &> /dev/null; then
    echo "Installing SP1 toolchain..."
    curl -L https://sp1.succinct.xyz | bash
    export PATH="$PATH:$HOME/.sp1/bin"
    sp1up -v v4.0.1
else
    echo "SP1 toolchain already installed"
fi
cargo prove --version

# Set up workspaces directory
echo "Setting up workspaces..."
mkdir -p "$PROOFLAB_DIR/workspaces"
cp -r "$SCRIPT_DIR/workspaces/"* "$PROOFLAB_DIR/workspaces/"

echo "Run 'source $PROFILE' or start a new terminal session to use prooflab!"