New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #21743 (new enhancement)

Opened 4 years ago

Last modified 6 months ago

ocaml-3.11.1 native code compiler fails.

Reported by: kiyoshi.coquser@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.8.1
Keywords: Cc: avsm@…, kenyon@…
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

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

Change History

Changed 4 years ago by kiyoshi.coquser@…

patch files

comment:1 Changed 4 years ago by avsm@…

  • Cc avsm@… added

Cc Me!

comment:2 Changed 4 years ago by avsm@…

  • Cc avsm@… removed

Cc Me!

Changed 4 years ago by avsm@…

svn diff of the changes

comment:3 Changed 4 years ago by avsm@…

  • Status changed from new to assigned
  • Owner changed from macports-tickets@… to avsm@…

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 follow-up: ↓ 5 Changed 4 years ago by avsm@…

  • Status changed from assigned to closed
  • Resolution set to fixed

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 4 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 3 years ago by stessaris@…

  • Status changed from closed to reopened
  • Resolution fixed deleted

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 2 years ago by ryandesign@…

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

comment:8 Changed 2 years ago by jmr@…

  • Owner changed from avsm@… to mww@…
  • Status changed from reopened to new
  • Cc avsm@… added

comment:9 Changed 6 months ago by kenyon@…

  • Cc kenyon@… added

Cc Me!

Note: See TracTickets for help on using tickets.