lean-ctx 3.8.18-1
Executes a file from current directoryShell execution symbols
SHA-256971bc5304a651580d27b25e827517487453c4aad80ec225f086a17746ea48ceb
MaleculeH₂(CmPo₂)
Evidence
⋯4 lines
9makedepends=('cargo' 'gcc')
10# onnxruntime: semantic search loads libonnxruntime.so at runtime (ort's
11# `load-dynamic`). The Arch package installs it to /usr/lib where lean-ctx's
12# resolver finds it — no manual install, no runtime download.
13depends=('gcc-libs' 'onnxruntime')
14source=("$pkgname-$pkgver.tar.gz::https://github.com/yvgude/lean-ctx/releases/download/v$pkgver/lean-ctx-$pkgver-source.tar.gz")
15sha256sums=('4613288bb11defc9630df14cf99c5f98837a6921ebb84f5ce4776fa7725a93f5')
40 cd "$pkgname-$pkgver/rust"
41 export RUSTUP_TOOLCHAIN=stable
42 export CARGO_TARGET_DIR=target
43 ./target/release/lean-ctx --version
44}
No evidence locations were recorded for this file. Raw result