You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4849 Reporter:@rixed Assigned to:@xavierleroy Status: closed (set by @xavierleroy on 2011-06-04T15:40:48Z) Resolution: won't fix Priority: normal Severity: block Version: 3.11.1 Category: ~DO NOT USE (was: OCaml general) Monitored by:@glondu
Bug description
This was already reported on #4359, which was closed as "wontfix" since Mips
is not supported any more.
Anyway, as I believe Mips is far from dead (since China decided to build some), here is a patch that :
complete the configure script in order to choose correct default for mips64el-linux-gnu architectures
fix the generated code to handle little endian
fix a bug in generated code related to gp (may not have been present on Irix)
Notice that this patch was designed to work on a GNU/Linux distribution with n32 userland (as now, that mean experimental gentoo, experimental suze and maybe soon a new debian). This won't be enough on a stock mipsel debian (I would say it would be possible with multilib and maybe without dynlink but haven't tried).
Apologies for leaving this PR hanging for so long. Interest in the MIPS port of ocamlopt seems still very low, and I'm still unable to maintain it by lack of appropriate hardware, so I think it is time to declare that port officially abandoned.
Original bug ID: 4849
Reporter: @rixed
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2011-06-04T15:40:48Z)
Resolution: won't fix
Priority: normal
Severity: block
Version: 3.11.1
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @glondu
Bug description
This was already reported on #4359, which was closed as "wontfix" since Mips
is not supported any more.
Anyway, as I believe Mips is far from dead (since China decided to build some), here is a patch that :
Notice that this patch was designed to work on a GNU/Linux distribution with n32 userland (as now, that mean experimental gentoo, experimental suze and maybe soon a new debian). This won't be enough on a stock mipsel debian (I would say it would be possible with multilib and maybe without dynlink but haven't tried).
File attachments
The text was updated successfully, but these errors were encountered: