| Anonymous | Login | Signup for a new account | 2013-05-26 08:55 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005556 | OCaml | OCaml internal build/install (Makefiles, configure) | public | 2012-03-27 07:14 | 2012-03-29 09:47 | |||||||
| Reporter | frisch | |||||||||||
| Assigned To | ||||||||||||
| Priority | normal | Severity | minor | Reproducibility | N/A | |||||||
| Status | resolved | Resolution | suspended | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0005556: Share more between Unix and Windows makefiles | |||||||||||
| Description | In many directories of OCaml sources, Makefile and Makefile.nt share a lot of common code (through inclusion of a Makefile.shared). This avoids a lot of duplication and facilitates the task of maintaining the build system up to date for Windows. I propose to continue this effort. In particular, the root Makefile(s) could be largely shared as well. | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Notes |
|
|
(0007187) xleroy (administrator) 2012-03-27 10:41 |
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. As to the Makefiles: yes, they could be refactored, but 1- it's boring work with high breakage potential, and 2- to do a good job at it, we'd need to switch all makefiles to GNU make (instead of hacking around the limitations of POSIX make), a move that I'd welcome but that some other developers oppose. |
|
(0007194) frisch (developer) 2012-03-27 12:47 |
> As to the Makefiles: yes, they could be refactored, but 1- it's boring work with high breakage potential, and 2- to do a good job at it, we'd need to switch all makefiles to GNU make (instead of hacking around the limitations of POSIX make), a move that I'd welcome but that some other developers oppose. I'm not proposing to completely merge Makefiles, just to factorize common code, as already done e.g. in stdlib, byterun, otherlibs. I don't think we need to switch to GNU make to do that. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-03-27 07:14 | frisch | New Issue | |
| 2012-03-27 10:41 | xleroy | Note Added: 0007187 | |
| 2012-03-27 10:41 | xleroy | Status | new => resolved |
| 2012-03-27 10:41 | xleroy | Resolution | open => suspended |
| 2012-03-27 12:47 | frisch | Note Added: 0007194 | |
| Copyright © 2000 - 2011 MantisBT Group |