Opened 15 years ago

Closed 7 years ago

#21743 closed enhancement (fixed)

ocaml-3.11.1 native code compiler fails.

Reported by: kiyoshi.coquser@… Owned by:
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc: avsm@…, kenyon@…, cooljeanius (Eric Gallager)
Port: ocaml

Description

Ocaml 3.11.1 have some issues about native code generation.

So building of some ports (ex. Unison +aqua) fails.

I prepared minimal patches to fix these issues.

They are borrowed from Caml CVS repository:

http://camlcvs.inria.fr/

Fixing issues:

0004813: incorrect parsing of floating point literals

http://caml.inria.fr/mantis/view.php?id=4813

0004841: Cannot make callbacks from C code when using the -output-obj option under Mac OS X

http://caml.inria.fr/mantis/view.php?id=4841

0004867: ocamlopt -shared failed on Mac OS X 10.6 Snow Leopard (x86_64)

http://caml.inria.fr/mantis/view.php?id=4867

0004877: Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64)

http://caml.inria.fr/mantis/view.php?id=4877

Note: These issues will be fixed in the next release of ocaml.

Attachments (2)

ocaml-patches.tar.bz2 (2.9 KB) - added by kiyoshi.coquser@… 15 years ago.
patch files
ocaml.diff (10.3 KB) - added by avsm@… 15 years ago.
svn diff of the changes

Download all attachments as: .zip

Change History (15)

Changed 15 years ago by kiyoshi.coquser@…

Attachment: ocaml-patches.tar.bz2 added

patch files

comment:1 Changed 15 years ago by avsm@…

Cc: avsm@… added

Cc Me!

comment:2 Changed 15 years ago by avsm@…

Cc: avsm@… removed

Cc Me!

Changed 15 years ago by avsm@…

Attachment: ocaml.diff added

svn diff of the changes

comment:3 Changed 15 years ago by avsm@…

Owner: changed from macports-tickets@… to avsm@…
Status: newassigned

Attached ocaml.diff of the changes which also bumps Revision of the port in the Portfile. Testing it now on x86_32 Snow Leopard

comment:4 Changed 15 years ago by avsm@…

Resolution: fixed
Status: assignedclosed

no regressions spotted in x86_32, except an unrelated bug involving ld.conf - most of our ports do not update the ld.conf on install, so I changed base ocaml to include the ld.conf directory in its ld.conf. Committed in r58665 .

Kiyoshi, if you could confirm that your problems are fixed on x86_64 SL with this commit, I'd appreciate it.

comment:5 in reply to:  4 Changed 15 years ago by kiyoshi.coquser@…

Replying to avsm@…:

I confirm that unison +aqua port (with 64bit support patches) now be compiled on X86_64 environment.

It also passed my private test cases which I built to clarify the problem.

And, patch for ld.conf is nice.

Thanks a lot avsm.

comment:6 Changed 14 years ago by stessaris@…

Resolution: fixed
Status: closedreopened

0004877: Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64)

http://caml.inria.fr/mantis/view.php?id=4877

Note: These issues will be fixed in the next release of ocaml.

Version 3.11.2 doesn't fix 0004877 (see http://caml.inria.fr/mantis/changelog_page.php), so the conflict is still there.

comment:7 Changed 14 years ago by ryandesign (Ryan Carsten Schmidt)

Neither does 3.12.0 apparently (the upstream bug report is still open)

comment:8 Changed 14 years ago by jmroot (Joshua Root)

Cc: avsm@… added
Owner: changed from avsm@… to mww@…
Status: reopenednew

comment:9 Changed 12 years ago by kenyon@…

Cc: kenyon@… added

Cc Me!

comment:10 Changed 11 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:11 Changed 8 years ago by mf2k (Frank Schima)

Owner: mww@… deleted
Status: newassigned
Version: 1.8.1

See #53012.

comment:12 Changed 7 years ago by pmetzger (Perry E. Metzger)

I think that now that we're on OCaml 4.05.0, this can be closed. Does anyone disagree?

comment:13 Changed 7 years ago by neverpanic (Clemens Lang)

Resolution: fixed
Status: assignedclosed

No.

Note: See TracTickets for help on using tickets.