lshaz/install.sh at main · abokhalill/lshaz · 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
91
92
93
94
95
96
97
98
99
100
#!/usr/bin/env bash
# SPDX-License-Identifier: Apache-2.0
set -euo pipefail

# lshaz installer
# Usage: curl -sL <url>/install.sh | bash
#
# Installs lshaz by building from source. Requires:
#   - Linux x86-64
#   - LLVM/Clang 16+ development libraries
#   - CMake 3.20+
#   - C++20 compiler

REPO="https://github.com/abokhalill/lshaz.git"
INSTALL_DIR="${LSHAZ_INSTALL_DIR:-$HOME/.local/bin}"
BUILD_TYPE="${LSHAZ_BUILD_TYPE:-Release}"

die() { echo "lshaz-install: error: $*" >&2; exit 1; }
info() { echo "lshaz-install: $*" >&2; }

# Check platform.
ARCH="$(uname -m)"
OS="$(uname -s)"
[[ "$OS" == "Linux" ]] || die "unsupported OS: $OS (Linux required)"
[[ "$ARCH" == "x86_64" ]] || die "unsupported architecture: $ARCH (x86-64 required)"

# Check dependencies.
command -v cmake >/dev/null 2>&1 || die "cmake not found"
command -v git   >/dev/null 2>&1 || die "git not found"

# Detect LLVM.
LLVM_PREFIX=""
for v in 18 17 16; do
    if [ -d "/usr/lib/llvm-${v}" ]; then
        LLVM_PREFIX="/usr/lib/llvm-${v}"
        break
    fi
done
if [ -z "$LLVM_PREFIX" ]; then
    # Try generic llvm-config.
    if command -v llvm-config >/dev/null 2>&1; then
        LLVM_PREFIX="$(llvm-config --prefix)"
    else
        die "LLVM development libraries not found. Install llvm-18-dev libclang-18-dev clang-18"
    fi
fi
info "using LLVM at $LLVM_PREFIX"

# Verify static libraries exist (runtime packages don't include them).
if [ ! -f "$LLVM_PREFIX/lib/libclangBasic.a" ]; then
    die "LLVM found at $LLVM_PREFIX but static libraries missing. Install: sudo apt install llvm-${v:-18}-dev libclang-${v:-18}-dev clang-${v:-18}"
fi

# Clone into temp directory.
WORK_DIR="$(mktemp -d)"
trap 'rm -rf "$WORK_DIR"' EXIT

info "cloning lshaz..."
git clone --depth 1 "$REPO" "$WORK_DIR/lshaz" > "$WORK_DIR/clone.log" 2>&1 \
    || { cat "$WORK_DIR/clone.log"; die "clone failed"; }

# Build.
info "building (${BUILD_TYPE})..."
cmake -S "$WORK_DIR/lshaz" -B "$WORK_DIR/lshaz/build" \
    -DCMAKE_BUILD_TYPE="$BUILD_TYPE" \
    -DCMAKE_PREFIX_PATH="$LLVM_PREFIX" \
    > "$WORK_DIR/cmake.log" 2>&1 \
    || { cat "$WORK_DIR/cmake.log"; die "cmake configure failed"; }

cmake --build "$WORK_DIR/lshaz/build" -j"$(nproc)" \
    > "$WORK_DIR/build.log" 2>&1 \
    || { tail -20 "$WORK_DIR/build.log"; die "build failed"; }

# Verify.
"$WORK_DIR/lshaz/build/lshaz" --version >/dev/null 2>&1 \
    || die "built binary does not execute"

# Run contract tests.
info "running contract tests..."
"$WORK_DIR/lshaz/build/output_contract_test" \
    > "$WORK_DIR/test.log" 2>&1 \
    || { cat "$WORK_DIR/test.log"; die "contract tests failed"; }

# Install.
mkdir -p "$INSTALL_DIR"
cp "$WORK_DIR/lshaz/build/lshaz" "$INSTALL_DIR/lshaz"
chmod +x "$INSTALL_DIR/lshaz"

info "installed to $INSTALL_DIR/lshaz"

# Check PATH.
if ! echo "$PATH" | tr ':' '\n' | grep -qx "$INSTALL_DIR"; then
    info ""
    info "  $INSTALL_DIR is not in your PATH."
    info "  Add to your shell profile:"
    info "    export PATH=\"$INSTALL_DIR:\$PATH\""
fi

info ""
info "done. Run: lshaz scan <project-path>"