|Anonymous | Login | Signup for a new account||2016-02-14 07:01 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005577||OCaml||OCaml internal build/install (Makefiles, configure)||public||2012-04-06 16:03||2015-12-11 19:04|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Status||closed||Resolution||no change required|
|Target Version||Fixed in Version|
|Summary||0005577: Windows: 'make install' fails when 'make opt' has not been run|
|Description||OCaml Makefile.nt fails upon 'make install' if the native compiler has not been built.|
Under Unix, the Makefile tests for the presence of ocamlopt and calls the installopt target only if it exists. Is there a reason not to do the same under Windows?
|Tags||No tags attached.|
A simple reason: under Windows, ocamlopt is always built; under Unix, it's not always built because it's not supported on every platform that ocamlrun/ocamlc run on.
> under Windows, ocamlopt is always built
ocamlopt can always be built, but there could be cases where the user wants to build and install only the bytecode tools. I propose one of the following actions (by increasing order of preference):
- Adapt Makefile.nt so as to force building the the native code version with the bytecode one (i.e. merge 'make opt' -- and also 'make opt.opt'? -- and 'make world').
- Adapt README.win32 to indicate clearly that 'make opt' has to be executed before 'make install'. Or at least document the 'make installbyt' target.
- Adapt Makefile.nt to do the same as under Unix, so as to allow more flexibility.
|2012-04-06 16:03||frisch||New Issue|
|2012-04-06 16:16||xleroy||Note Added: 0007288|
|2012-04-06 16:16||xleroy||Status||new => resolved|
|2012-04-06 16:16||xleroy||Resolution||open => no change required|
|2012-04-10 10:17||frisch||Note Added: 0007304|
|2015-12-11 19:04||xleroy||Status||resolved => closed|
|Copyright © 2000 - 2011 MantisBT Group|