1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
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";
|
