Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005557OCamlOCaml internal build/install (Makefiles, configure)public2012-03-27 07:182012-03-27 10:42
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionsuspended 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005557: ./configure for mingw and msvc ports
DescriptionConfiguring 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007188)
xleroy (administrator)
2012-03-27 10:42

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.

- Issue History
Date Modified Username Field Change
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker