19
Note: 'make' will compile the bytecode version by default.
20
You could use 'make opt' to have the optimized version.
21
If you compile both, 'make install' will take care of that
22
and install both, spatch and spatch.opt.
23
If you use only one of them, 'make install' will install
24
the one you have compiled, either spatch ou spatch.opt,
25
under the front-end spatch. You could use 'make world' to
26
compile the bytecode and the native code version.
23
'make' will compile the bytecode version by default.
24
You could use 'make all.opt' to have the optimized version.
25
If you compile both, 'make install' will take care of that
26
and install both, spatch and spatch.opt.
27
If you use only one of them, 'make install' will install
28
the one you have compiled, either spatch ou spatch.opt,
29
under the front-end spatch. You could use 'make world' to
30
compile the bytecode and the optimized code version.
32
We provide the files generated by menhir in the tarball.
33
However, 'make distclean' will remove them. You could
34
either restore them from the tarball or install menhir.
35
Using 'make clean' should be safe with regards to these files.