ocaml-maint team mailing list archive

[Stéphane Glondu <glondu@xxxxxxxxxx>]

Le 12/08/2011 16:25, Dave Martin a écrit :
> Can you try adding a ".type <function name>, %function" directive for
> each function in the startup .s file?

I've patched ocamlopt so that all symbol functions have this directive,
and the empty program works!

I'm afraid this means that everything has to be recompiled with the
patched ocamlopt... this is confirmed by a test on lwt.

What about upgrading to ocaml 3.12.1 at the same time in Ubuntu? The
packaging is ready for Debian (it is currently waiting for ACK from the
release team), and also means recompiling everything. Most packages
recompile with no source changes with ocaml 3.12.1 [1]. The permanent
OCaml transition tracker [2] will be helpful, too.

[1] http://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransitions
[2] http://people.canonical.com/~ubuntu-archive/transitions/ocaml.html


Cheers,

-- 
Stéphane

-- 
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to ocaml in Ubuntu.
https://bugs.launchpad.net/bugs/810402

Title:
  all native ocaml programs segfault on armel

Status in Linaro Binutils:
  New
Status in “binutils” package in Ubuntu:
  Confirmed
Status in “ocaml” package in Ubuntu:
  Confirmed
Status in “binutils” source package in Oneiric:
  Confirmed
Status in “ocaml” source package in Oneiric:
  Confirmed

Bug description:
  Starting from version 2.21.52.20110606-1ubuntu1 (in oneiric), all
  programs produced by ocamlopt segfault on Ubuntu/armel. The problem
  disappears after downgrading binutils to 2.21.51.20110421-6ubuntu1.

  Steps to reproduce: echo > empty.ml && ocamlopt empty.ml && ./a.out

  Using the "-S" option of ocamlopt might be useful, to have a look at
  the generated assembly code, but I don't know what to look for... I
  hope someone more familiar with binutils code can help.

  I found that while investigating the recent build failures of ocaml
  stuff or armel. Everything works find in the armel port of Debian.

To manage notifications about this bug go to:
https://bugs.launchpad.net/binutils-linaro/+bug/810402/+subscriptions