|Anonymous | Login | Signup for a new account||2018-06-19 08:19 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005557||OCaml||configure and build/install||public||2012-03-27 07:18||2012-03-27 10:42|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Target Version||Fixed in Version|
|Summary||0005557: ./configure for mingw and msvc ports|
|Description||Configuring the system for mingw and msvc currently involve copying template files (in config), and adjusting one of them (config/Makefile).|
It should not be overly difficult to enrich the standard ./configure script to support these toolchains. Not all options need to be supported, and feature auto-detection could be bypassed. Being able to choose the target prefix and disable some of the otherlibs/camlp4 could be enough for a first step.
|Tags||No tags attached.|
This is not a problem report per se, and I feel that using the bug tracker this way diminishes its efficiency, making it harder to spot the real problem reports.
A separate configure-win32 script can be considered. I'd rather not complicate the current configure script, which is already awful.
|2012-03-27 07:18||frisch||New Issue|
|2012-03-27 10:42||xleroy||Note Added: 0007188|
|2012-03-27 10:42||xleroy||Status||new => resolved|
|2012-03-27 10:42||xleroy||Resolution||open => suspended|
|2017-02-23 16:38||doligez||Category||OCaml internal build/install (Makefiles, configure) => configure and build/install|
|Copyright © 2000 - 2011 MantisBT Group|