diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2010-09-14 11:16:24 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2010-09-14 11:16:24 +0000 |
| commit | 359e4257acbbe18b8bd0c35e78030ef29db08f6d (patch) | |
| tree | 5159f27eb6e8ac52f8cb457c6f114de212bfbf59 /devel/coccinelle/files/patch-configure | |
| parent | Deprecate net/Sockets-devel, it's older than net/Sockets and unmaintained, i (diff) | |
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/
PR: ports/150472
Submitted by: Andriy Gapon <avg@icyb.net.ua>
Diffstat (limited to 'devel/coccinelle/files/patch-configure')
| -rw-r--r-- | devel/coccinelle/files/patch-configure | 47 |
1 files changed, 47 insertions, 0 deletions
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"; |