Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006392OCamlOCaml backend (code generation)public2014-05-03 15:412014-06-02 22:31
Reportergasche 
Assigned Todoligez 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version 
Summary0006392: [github patch] native code support for armv6 on FreeBSD10
Descriptionhttps://github.com/ocaml/ocaml/pull/43 [^]

* configure accepts armv6/freebsd for native code compilation
* 'as' and 'aspp' map to 'cc -c'
* new section in arm.S to configure SYS_freebsd for armv6+softfp
* arch/arm.ml maps Sys.config="freebsd" to EABI

Tested on FreeBSD RELEASE/10 on Raspberry PI.
Tagsgithub, patch
Attached Files

- Relationships

-  Notes
(0011631)
doligez (administrator)
2014-06-02 22:31

I've reviewed this patch and I think it should go into 4.02.0.

- Issue History
Date Modified Username Field Change
2014-05-03 15:41 gasche New Issue
2014-05-03 15:41 gasche Tag Attached: github
2014-05-03 15:41 gasche Tag Attached: patch
2014-06-02 22:26 doligez Assigned To => doligez
2014-06-02 22:26 doligez Status new => acknowledged
2014-06-02 22:31 doligez Note Added: 0011631
2014-06-02 22:31 doligez Status acknowledged => confirmed
2014-06-02 22:31 doligez Target Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker