wehub-resource-sync
26382a7ac6
CodeQL / Analyze (javascript-typescript) (push) Waiting to run
JetBrains Plugin / Actionlint (push) Waiting to run
CodeQL / Analyze (actions) (push) Waiting to run
CodeQL / Analyze (rust) (push) Waiting to run
JetBrains Plugin / Validation (push) Waiting to run
JetBrains Plugin / Build (push) Waiting to run
JetBrains Plugin / Test (push) Blocked by required conditions
Security Check / Security Scan (push) Waiting to run
CI / Clippy (push) Failing after 15m13s
CI / Test (ubuntu-latest) (push) Failing after 16m1s
CI / Test (macos-latest) (push) Has been cancelled
CI / Test (windows-latest) (push) Has been cancelled
CI / Build (no embeddings / no ORT) (push) Has been cancelled
CI / Format (push) Has been cancelled
CI / Cookbook (Node) (push) Has been cancelled
CI / Pi Extension (Node) (push) Has been cancelled
CI / Rust SDK (lean-ctx-client) (push) Has been cancelled
CI / Embed SDK (lean-ctx-sdk) (push) Has been cancelled
CI / Python SDK (leanctx) (push) Has been cancelled
CI / Hermes Plugin (Python) (push) Has been cancelled
CI / SDK Conformance Matrix (push) Has been cancelled
CI / Coverage (push) Has been cancelled
CI / cargo-deny (push) Has been cancelled
CI / Adversarial Safety (push) Has been cancelled
CI / Benchmarks (push) Has been cancelled
CI / Output-Quality Gate (eval A/B) (push) Has been cancelled
CI / Documentation (push) Has been cancelled
CI / CI Green (push) Has been cancelled
67 lines
2.3 KiB
Bash
Executable File
67 lines
2.3 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
INSTALL_DIR="${HOME}/.local/bin"
|
|
BINARY="${INSTALL_DIR}/lean-ctx"
|
|
PID_FILE="${HOME}/Library/Application Support/lean-ctx/daemon.pid"
|
|
SOCK_FILE="${HOME}/Library/Application Support/lean-ctx/daemon.sock"
|
|
|
|
cleanup_daemon() {
|
|
if [ -f "$PID_FILE" ]; then
|
|
PID=$(cat "$PID_FILE" 2>/dev/null || true)
|
|
if [ -n "$PID" ] && kill -0 "$PID" 2>/dev/null; then
|
|
printf " Stopping daemon (PID %s)…" "$PID"
|
|
kill "$PID" 2>/dev/null || true
|
|
for _ in $(seq 1 30); do
|
|
kill -0 "$PID" 2>/dev/null || break
|
|
sleep 0.1
|
|
done
|
|
if kill -0 "$PID" 2>/dev/null; then
|
|
kill -9 "$PID" 2>/dev/null || true
|
|
printf " SIGKILL"
|
|
fi
|
|
printf " done\n"
|
|
fi
|
|
fi
|
|
rm -f "$PID_FILE" "$SOCK_FILE" 2>/dev/null || true
|
|
}
|
|
|
|
printf "=== lean-ctx dev-install ===\n"
|
|
|
|
# 1) Stop daemon before replacing binary
|
|
cleanup_daemon
|
|
|
|
# 2) Build release
|
|
printf " Building release…\n"
|
|
cargo build --release 2>&1 | tail -3
|
|
|
|
# 3) Install
|
|
mkdir -p "$INSTALL_DIR"
|
|
# Ask cargo for the real target dir — honours CARGO_TARGET_DIR and a
|
|
# ~/.cargo/config.toml `[build] target-dir` override, not just the default
|
|
# "./target" (a hardcoded path silently installed a stale binary here).
|
|
# The `|| true` keeps `set -euo pipefail` from aborting before the fallback:
|
|
# a failing `cargo metadata` (or unmatched grep) exits the pipeline non-zero.
|
|
TARGET_DIR=$(cargo metadata --no-deps --format-version=1 2>/dev/null \
|
|
| grep -o '"target_directory":"[^"]*"' \
|
|
| head -1 \
|
|
| sed -E 's/^"target_directory":"(.*)"$/\1/' \
|
|
| sed 's/\\\\/\//g' || true)
|
|
TARGET_DIR="${TARGET_DIR:-$(pwd)/target}"
|
|
TARGET="${TARGET_DIR}/release/lean-ctx"
|
|
# Fail loudly instead of symlinking a missing/stale binary into PATH (#671).
|
|
if [ ! -x "$TARGET" ]; then
|
|
printf " error: built binary not found at %s\n" "$TARGET" >&2
|
|
printf " hint: is CARGO_TARGET_DIR or ~/.cargo/config.toml [build] target-dir pointing elsewhere?\n" >&2
|
|
exit 1
|
|
fi
|
|
TMP_LINK="${BINARY}.tmp.$$"
|
|
ln -sf "$TARGET" "$TMP_LINK"
|
|
mv -f "$TMP_LINK" "$BINARY"
|
|
|
|
# 4) Verify
|
|
VERSION=$("$BINARY" --version 2>&1)
|
|
printf " Installed: %s\n" "$VERSION"
|
|
printf " Path: %s\n" "$BINARY"
|
|
printf "=== done ===\n"
|