diff options
Diffstat (limited to 'devel/coccinelle')
-rw-r--r-- | devel/coccinelle/Makefile | 23 | ||||
-rw-r--r-- | devel/coccinelle/distinfo | 3 | ||||
-rw-r--r-- | devel/coccinelle/files/patch-configure | 47 | ||||
-rw-r--r-- | devel/coccinelle/files/patch-pycaml-Makefile | 11 | ||||
-rw-r--r-- | devel/coccinelle/pkg-descr | 11 | ||||
-rw-r--r-- | devel/coccinelle/pkg-plist | 76 |
6 files changed, 171 insertions, 0 deletions
diff --git a/devel/coccinelle/Makefile b/devel/coccinelle/Makefile new file mode 100644 index 000000000000..f70e286d57e1 --- /dev/null +++ b/devel/coccinelle/Makefile @@ -0,0 +1,23 @@ +# Ports collection makefile for: coccinnelle +# Date created: Sep 10, 2010 +# Whom: Andriy Gapon +# $FreeBSD$ + +PORTNAME= coccinelle +DISTVERSION= 0.2.4rc2 +CATEGORIES= devel +MASTER_SITES= http://coccinelle.lip6.fr/distrib/ +EXTRACT_SUFX= .tgz + +MAINTAINER= avg@icyb.net.ua +COMMENT= Coccinelle is a program matching and transformation engine + +GNU_CONFIGURE= yes +USE_GMAKE= yes +USE_PERL5_BUILD=yes +USE_PYTHON= 2.5+ +USE_OCAML= 3.0+ + +MAN1= spatch.1 + +.include <bsd.port.mk> diff --git a/devel/coccinelle/distinfo b/devel/coccinelle/distinfo new file mode 100644 index 000000000000..a42efc4dc89b --- /dev/null +++ b/devel/coccinelle/distinfo @@ -0,0 +1,3 @@ +MD5 (coccinelle-0.2.4rc2.tgz) = cbf7f16205316bf929f3a37994c130f3 +SHA256 (coccinelle-0.2.4rc2.tgz) = 513cbc237761db5c41a7902ac691451c1ac5000a4d14031db8218ceccb04d515 +SIZE (coccinelle-0.2.4rc2.tgz) = 2217241 diff --git a/devel/coccinelle/files/patch-configure b/devel/coccinelle/files/patch-configure new file mode 100644 index 000000000000..d1551ee523dd --- /dev/null +++ b/devel/coccinelle/files/patch-configure @@ -0,0 +1,47 @@ +--- configure 2010-07-03 01:08:25.000000000 +0300 ++++ configure 2010-09-09 13:28:04.692352989 +0300 +@@ -176,6 +176,6 @@ + pr2 ""; + + $error += check_config( +- "make -v 2>&1 |grep Make|", ++ "gmake -v 2>&1 |grep Make|", + "GNU Make [^0-9]*3\.[0-9]+.*", #version 3.79.1, 3.81 + "make (gnu version) is present.", +@@ -255,17 +255,17 @@ + All seems fine for $project. + + To compile $project type: +- \$ make depend +- \$ make all ++ \$ gmake depend ++ \$ gmake all + + Or alternatively, for the optimized version: +- \$ make all.opt ++ \$ gmake all.opt + If you want both, you could use: +- \$ make world ++ \$ gmake world + + + To install type: +- \$ make install ++ \$ gmake install + + Then, to test $project simply type: + \$ $projectcmdline +@@ -331,11 +331,11 @@ + my $pythonprefix = $python ? "yes" : "no"; + pr2 "Support for python scripting : $pythonprefix"; + `cd python; ln -sf ${pythonprefix}_pycocci.ml pycocci.ml; `; +-`cd python; make depend`; ++`cd python; gmake depend`; + + pr2 "Support for ocaml scripting : $ocamlprefix"; + `cd ocaml; ln -sf ${ocamlprefix}_prepare_ocamlcocci.ml prepare_ocamlcocci.ml;`; +-`cd ocaml; make depend`; ++`cd ocaml; gmake depend`; + + pr2 "Modifying globals/config.ml"; + my $command = "perl -p -e 's#Not_found.\*#Not_found->\\\"$src\\\"#' globals/config.ml.in > globals/config.ml"; diff --git a/devel/coccinelle/files/patch-pycaml-Makefile b/devel/coccinelle/files/patch-pycaml-Makefile new file mode 100644 index 000000000000..773243339a64 --- /dev/null +++ b/devel/coccinelle/files/patch-pycaml-Makefile @@ -0,0 +1,11 @@ +--- pycaml/Makefile.orig 2009-04-06 12:59:15.000000000 +0200 ++++ pycaml/Makefile 2009-04-06 12:59:20.000000000 +0200 +@@ -3,7 +3,7 @@ + OCAMLMAKEFILE = OCamlMakefile + PY_PREFIX = $(shell python getprefix.py) + PY_VERSION = $(shell python getversion.py) +-CLIBS = python$(PY_VERSION) pthread dl util m c ++CLIBS = python$(PY_VERSION) pthread util m c + + SOURCES = pycaml.ml pycaml_ml.c + RESULT = pycaml diff --git a/devel/coccinelle/pkg-descr b/devel/coccinelle/pkg-descr new file mode 100644 index 000000000000..a592bbdd0bf8 --- /dev/null +++ b/devel/coccinelle/pkg-descr @@ -0,0 +1,11 @@ +Coccinelle is a program matching and transformation engine which provides the +language SmPL (Semantic Patch Language) for specifying desired matches and +transformations in C code. Coccinelle was initially targeted towards performing +collateral evolutions in Linux. Such evolutions comprise the changes that are +needed in client code in response to evolutions in library APIs, and may +include modifications such as renaming a function, adding a function argument +whose value is somehow context-dependent, and reorganizing a data +structure. Beyond collateral evolutions, Coccinelle is successfully used (by us +and others) for finding and fixing bugs in systems code. + +WWW: http://coccinelle.lip6.fr/ diff --git a/devel/coccinelle/pkg-plist b/devel/coccinelle/pkg-plist new file mode 100644 index 000000000000..f528a1ecab74 --- /dev/null +++ b/devel/coccinelle/pkg-plist @@ -0,0 +1,76 @@ +bin/spatch +lib/dllpycaml_stubs.so +share/coccinelle/commons/common.cmi +share/coccinelle/commons/common_extra.cmi +share/coccinelle/commons/glimpse.cmi +share/coccinelle/commons/interfaces.cmi +share/coccinelle/commons/oarray.cmi +share/coccinelle/commons/oassoc.cmi +share/coccinelle/commons/objet.cmi +share/coccinelle/commons/ocollection.cmi +share/coccinelle/commons/ofullcommon.cmi +share/coccinelle/commons/ograph.cmi +share/coccinelle/commons/ograph_extended.cmi +share/coccinelle/commons/ograph_simple.cmi +share/coccinelle/commons/osequence.cmi +share/coccinelle/commons/oset.cmi +share/coccinelle/commons/parser_combinators.cmi +share/coccinelle/commons/seti.cmi +share/coccinelle/commons/sexp_common.cmi +share/coccinelle/ocaml/coccilib.cmi +share/coccinelle/parsing_c/ast_c.cmi +share/coccinelle/parsing_c/comment_annotater_c.cmi +share/coccinelle/parsing_c/compare_c.cmi +share/coccinelle/parsing_c/control_flow_c.cmi +share/coccinelle/parsing_c/control_flow_c_build.cmi +share/coccinelle/parsing_c/cpp_analysis_c.cmi +share/coccinelle/parsing_c/cpp_ast_c.cmi +share/coccinelle/parsing_c/cpp_token_c.cmi +share/coccinelle/parsing_c/flag_parsing_c.cmi +share/coccinelle/parsing_c/lexer_c.cmi +share/coccinelle/parsing_c/lexer_parser.cmi +share/coccinelle/parsing_c/lib_parsing_c.cmi +share/coccinelle/parsing_c/parse_c.cmi +share/coccinelle/parsing_c/parser_c.cmi +share/coccinelle/parsing_c/parsing_consistency_c.cmi +share/coccinelle/parsing_c/parsing_hacks.cmi +share/coccinelle/parsing_c/parsing_recovery_c.cmi +share/coccinelle/parsing_c/parsing_stat.cmi +share/coccinelle/parsing_c/pretty_print_c.cmi +share/coccinelle/parsing_c/semantic_c.cmi +share/coccinelle/parsing_c/sexp_ast_c.cmi +share/coccinelle/parsing_c/test_parsing_c.cmi +share/coccinelle/parsing_c/token_c.cmi +share/coccinelle/parsing_c/token_helpers.cmi +share/coccinelle/parsing_c/token_views_c.cmi +share/coccinelle/parsing_c/type_annoter_c.cmi +share/coccinelle/parsing_c/type_c.cmi +share/coccinelle/parsing_c/unparse_c.cmi +share/coccinelle/parsing_c/unparse_cocci.cmi +share/coccinelle/parsing_c/unparse_hrule.cmi +share/coccinelle/parsing_c/visitor_c.cmi +share/coccinelle/python/coccilib/__init__.py +share/coccinelle/python/coccilib/coccigui/__init__.py +share/coccinelle/python/coccilib/coccigui/coccigui.py +share/coccinelle/python/coccilib/coccigui/pycoccimodel.py +share/coccinelle/python/coccilib/coccigui/pygui.glade +share/coccinelle/python/coccilib/coccigui/pygui.gladep +share/coccinelle/python/coccilib/coccigui/vim.py +share/coccinelle/python/coccilib/coccigui/vimcom.py +share/coccinelle/python/coccilib/coccigui/vimeditor.py +share/coccinelle/python/coccilib/coccigui/vimembed.py +share/coccinelle/python/coccilib/elems.py +share/coccinelle/python/coccilib/org.py +share/coccinelle/python/coccilib/output.py +share/coccinelle/python/coccilib/report.py +share/coccinelle/python/coccilib/trac.py +share/coccinelle/spatch +share/coccinelle/standard.h +share/coccinelle/standard.iso +@dirrm share/coccinelle/python/coccilib/coccigui +@dirrm share/coccinelle/python/coccilib +@dirrm share/coccinelle/python +@dirrm share/coccinelle/parsing_c +@dirrm share/coccinelle/ocaml +@dirrm share/coccinelle/commons +@dirrm share/coccinelle |