diff options
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"; |