#!/bin/sh
# We can't do linting on frozen protocol (src/proto_*/lib_protocol/*.ml) but we
# can still do it on the in-development protocol
# (src/proto_alpha/lib_protocol/*.ml). The `exclude` pattern below expresses
# this.
semgrep \
--metrics=off \
--error \
-l ocaml \
-c scripts/semgrep/ \
--exclude "src/proto_[0-9]*/lib_protocol/*.ml*" \
--exclude "src/lib_webassembly/*" \
src/