diff options
Diffstat (limited to 'homebrew/coccinelle/.make.sh-auto')
| -rw-r--r-- | homebrew/coccinelle/.make.sh-auto | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/homebrew/coccinelle/.make.sh-auto b/homebrew/coccinelle/.make.sh-auto new file mode 100644 index 000000000..a6ae3f4ea --- /dev/null +++ b/homebrew/coccinelle/.make.sh-auto @@ -0,0 +1,11 @@ +pkg:setup +ENV["OCAMLPARAM"] = "safe-string=0,_" +opamroot = buildpath/"opamroot" +ENV["OPAMROOT"] = opamroot +ENV["OPAMYES"] = "1" +opam init --no-setup +opam install ocamlfind +pkg:configure --disable-dependency-tracking --enable-release --enable-ocaml --enable-opt --enable-ocaml --with-pdflatex=no +opam config exec -- make +make DESTDIR=${PKG_DEST} install +pkgshare.install "demos/simple.cocci", "demos/simple.c" |