Opened 14 years ago
Closed 12 years ago
#25853 closed update (fixed)
ocamlduce 3.12.0 update
| Reported by: | knaack@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | ocamlduce |
Description
Updated to latest version.
Attachments (2)
Change History (9)
Changed 14 years ago by knaack@…
| Attachment: | Portfile-ocamlduce.diff added |
|---|
comment:1 Changed 14 years ago by mf2k (Frank Schima)
| Cc: | anil@… knaack@… removed |
|---|---|
| Keywords: | haspatch added |
| Owner: | changed from macports-tickets@… to anil@… |
| Version: | 1.9.1 |
comment:2 Changed 14 years ago by jmroot (Joshua Root)
comment:3 Changed 14 years ago by jmroot (Joshua Root)
| Summary: | ocamlduce 0.5.3 update → ocamlduce 3.10.2 update |
|---|
The latest version seems to be 3.10.2 according to http://www.cduce.org/ocaml_install.html. Unfortunately it needs to be built against the matching version of ocaml, and our ocaml port is currently 3.11.2.
comment:4 Changed 13 years ago by jmroot (Joshua Root)
| Owner: | changed from anil@… to macports-tickets@… |
|---|
Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
| Attachment: | ocamlduce-3.12.0.0.diff added |
|---|
beginnings of a patch
comment:5 Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
ocamlduce 3.12.0.0, compatible with the latest ocaml 3.12.0 which is in MacPorts, is available from ocamlforge. Attached is a patch that downloads that new file. But everything from the patch phase onwards needs to be fixed by someone who knows how this caml stuff works.
comment:6 Changed 13 years ago by jmroot (Joshua Root)
| Keywords: | haspatch removed |
|---|---|
| Summary: | ocamlduce 3.10.2 update → ocamlduce 3.12.0 update |
comment:7 Changed 12 years ago by larryv (Lawrence Velázquez)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Was updated to 3.12.1.0 in r84558.
Note: See
TracTickets for help on using
tickets.
This patch seems to be changing the port to install a different thing, not a newer version of the same thing.