summaryrefslogtreecommitdiff
path: root/homebrew/coccinelle
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/coccinelle')
-rw-r--r--homebrew/coccinelle/.beer48
-rw-r--r--homebrew/coccinelle/.make.sh-auto11
-rw-r--r--homebrew/coccinelle/_metadata/description1
-rw-r--r--homebrew/coccinelle/_metadata/homepage1
-rw-r--r--homebrew/coccinelle/_metadata/name1
-rw-r--r--homebrew/coccinelle/_metadata/version1
-rwxr-xr-xhomebrew/coccinelle/download.sh1
7 files changed, 64 insertions, 0 deletions
diff --git a/homebrew/coccinelle/.beer b/homebrew/coccinelle/.beer
new file mode 100644
index 000000000..962490009
--- /dev/null
+++ b/homebrew/coccinelle/.beer
@@ -0,0 +1,48 @@
+{
+ "name": "Coccinelle",
+ "description": "Program matching and transformation engine for C code",
+ "url": "http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz",
+ "mirror": null,
+ "homepage": "http://coccinelle.lip6.fr/",
+ "depends": [
+ {
+ "depend": "hevea",
+ "build-depend": true
+ },
+ {
+ "depend": "opam",
+ "build-depend": true
+ },
+ {
+ "depend": "camlp4",
+ "build-depend": false
+ },
+ {
+ "depend": "ocaml",
+ "build-depend": false
+ }
+ ],
+ "resource": [],
+ "conflicts": [],
+ "patches": [],
+ "install": [
+ "ENV[\"OCAMLPARAM\"] = \"safe-string=0,_\" ",
+ "opamroot = buildpath/\"opamroot\"",
+ "ENV[\"OPAMROOT\"] = opamroot",
+ "ENV[\"OPAMYES\"] = \"1\"",
+ "system \"opam\", \"init\", \"--no-setup\"",
+ "system \"opam\", \"install\", \"ocamlfind\"",
+ "system \"./configure\", \"--disable-dependency-tracking\",",
+ "\"--enable-release\",",
+ "\"--enable-ocaml\",",
+ "\"--enable-opt\",",
+ "\"--enable-ocaml\",",
+ "\"--with-pdflatex=no\",",
+ "\"--prefix=#{prefix}\"",
+ "system \"opam\", \"config\", \"exec\", \"--\", \"make\"",
+ "system \"make\", \"install\"",
+ "pkgshare.install \"demos/simple.cocci\", \"demos/simple.c\""
+ ],
+ "version": "1.0.6",
+ "file": "coccinelle.rb"
+} \ No newline at end of file
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"
diff --git a/homebrew/coccinelle/_metadata/description b/homebrew/coccinelle/_metadata/description
new file mode 100644
index 000000000..41b0b5696
--- /dev/null
+++ b/homebrew/coccinelle/_metadata/description
@@ -0,0 +1 @@
+Program matching and transformation engine for C code
diff --git a/homebrew/coccinelle/_metadata/homepage b/homebrew/coccinelle/_metadata/homepage
new file mode 100644
index 000000000..cf2046e6f
--- /dev/null
+++ b/homebrew/coccinelle/_metadata/homepage
@@ -0,0 +1 @@
+http://coccinelle.lip6.fr/
diff --git a/homebrew/coccinelle/_metadata/name b/homebrew/coccinelle/_metadata/name
new file mode 100644
index 000000000..041c9fe74
--- /dev/null
+++ b/homebrew/coccinelle/_metadata/name
@@ -0,0 +1 @@
+Coccinelle
diff --git a/homebrew/coccinelle/_metadata/version b/homebrew/coccinelle/_metadata/version
new file mode 100644
index 000000000..af0b7ddbf
--- /dev/null
+++ b/homebrew/coccinelle/_metadata/version
@@ -0,0 +1 @@
+1.0.6
diff --git a/homebrew/coccinelle/download.sh b/homebrew/coccinelle/download.sh
new file mode 100755
index 000000000..5971d6a1f
--- /dev/null
+++ b/homebrew/coccinelle/download.sh
@@ -0,0 +1 @@
+wget http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz \ No newline at end of file