karamel-git

LOW

maintainer orphaned 0 votes scanned 2026-09-18 00:17:11.210425

View on AUR

Why flagged

The PKGBUILD uses opam to install OCaml dependencies and build the project from its official Git repositories; this is a normal build process for OCaml software, not an external install of untrusted code.

Triggered rules

Low AI review downgraded a static finding llm_review

The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-07-25) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The PKGBUILD uses opam to install OCaml dependencies and build the project from its official Git repositories; this is a normal build process for OCaml software, not an external install of untrusted code.

1 higher static finding superseded - not the current verdict (shown for transparency)

Medium External install via pipx/uv/poetry/cargo/go/gem alt_pkg_manager_install

A non-pip/npm package manager (pipx, uv, poetry, cargo install, go install, gem, conda…) fetches and builds an external package at build time, outside source=() and makepkg's checksums.

PKGBUILD:41 CHECK_IF_PREINSTALLED=false opam install --yes --no-depexts conf-python-2-7 ppx_deriving_yojson zarith pprint "menhir>=20161115" sedlex process fix "wasm>=2.0.0" visitors ctypes-foreign ctypes

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: crave <crave@infinity>
    
      2
    
      3pkgname=karamel-git
    
      4pkgver=fstar.v2022.11.19.r846.g71facac.karamel.v1.0.0.r421.gbd359d8
    
      5pkgrel=1
    
      6pkgdesc="a tool for extracting low-level F* programs to readable C code"
    
      7arch=('i686' 'x86_64')
    
      8url='https://github.com/FStarLang/karamel'
    
      9license=('Apache-2.0')
    
      10options=('!strip' '!makeflags' 'staticlibs')
    
      11depends=('python2' 'opam' 'which')
    
      12conflicts=('fstar')
    
      13source=('git+https://github.com/FStarLang/FStar.git'
    
      14        'git+https://github.com/FStarLang/karamel.git')
    
      15sha256sums=('SKIP' 'SKIP')
    
      16
    
      17pkgver() {
    
      18  (cd FStar
    
      19  echo -n 'fstar.'
    
      20  git describe --long --tags --abbrev=7 | sed 's/\([^-]*-g\)/r\1/;s/-/./g' | tr -d '\n')
    
      21  (cd karamel
    
      22  echo -n '.karamel.'
    
      23  git describe --long --tags --abbrev=7 | sed 's/\([^-]*-g\)/r\1/;s/-/./g')
    
      24}
    
      25
    
      26OPAM_VER=4.11.0
    
      27build() {
    
      28  cd "$srcdir"
    
      29  export FSTAR_HOME="$(realpath FStar)"
    
      30  export PATH="$FSTAR_HOME/bin:$PATH"
    
      31
    
      32  if ! [ -d ~/.opam ]; then
    
      33    # I know you probably shouldn't do this in a PKGBUILD
    
      34    # But I don't care about ocaml, I just want to use this software
    
      35    opam init --shell-setup
    
      36    opam switch create "$OPAM_VER"
    
      37    opam switch "$OPAM_VER"
    
      38  fi
    
      39
    
      40  (eval $(opam env)
    
      41  CHECK_IF_PREINSTALLED=false opam install --yes --no-depexts conf-python-2-7 ppx_deriving_yojson zarith pprint "menhir>=20161115" sedlex process fix "wasm>=2.0.0" visitors ctypes-foreign ctypes 
    
      42  (cd FStar
    
      43  opam install --yes --deps-only .
    
      44  make -j$(nproc))
    
      45  (cd karamel
    
      46  make -j$(nproc))) || echo "If the build failed because of some ocaml messages try deleting ~/.opam, and re-run"
    
      47}
    
      48
    
      49package() {
    
      50  eval $(opam env)
    
      51  cd "$srcdir"
    
      52  export PREFIX="$pkgdir/opt/fstar"
    
      53  mkdir -p "$PREFIX"
    
      54  #(cd FStar; make -j$(nproc) install; cd ulib; export INSTALL_EXEC="$(which install)"; ./install-ulib.sh)
    
      55  cp -r FStar/* $PREFIX
    
      56  export FSTAR_HOME="$PREFIX"
    
      57
    
      58  export PREFIX="$pkgdir/opt/karamel"
    
      59  #(cd karamel; make -j$(nproc) install)
    
      60  mkdir -p "$PREFIX"
    
      61  cp -r karamel/* $PREFIX
    
      62}
    
      63

Scan history

Scanned at (UTC)	Severity	Rules
2026-09-18 00:17:11	Low	2
2026-09-17 00:27:14	Low	2
2026-09-16 00:03:17	Low	2
2026-09-15 00:25:31	Low	2
2026-09-14 00:27:57	Low	2
2026-09-13 00:19:54	Low	2
2026-09-12 00:25:17	Low	2
2026-09-11 00:19:22	Low	2
2026-09-10 00:22:44	Low	2
2026-09-09 00:04:09	Low	2
2026-09-08 00:18:08	Low	2
2026-09-07 00:30:15	Low	2
2026-09-06 00:17:06	Low	2
2026-09-05 00:16:27	Low	2
2026-09-04 00:03:13	Low	2
2026-09-03 00:15:47	Low	2
2026-09-02 00:02:31	Low	2
2026-09-01 00:11:19	Low	2
2026-08-31 00:19:57	Low	2
2026-08-30 00:04:14	Low	2