diff options
| author | Benedikt Meurer <benedikt.meurer@googlemail.com> | 2012-10-24 06:20:45 +0000 |
|---|---|---|
| committer | Benedikt Meurer <benedikt.meurer@googlemail.com> | 2012-10-24 06:20:45 +0000 |
| commit | dc0776f55108a20dad5a9c06188545dc08dbf462 (patch) | |
| tree | d93e174a5112cdb0e4916a71d3749854137897d3 /otherlibs/bigarray/mmap_win32.c | |
| parent | 2f2f6b7a0712dc048092e3ec0ae0e4eeb6dd25a4 (diff) | |
#5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).
[PATCH] Detect and support armv6/VFPE2, which is sufficient to get
ocamlopt working on the Raspberry Pi hardfloat Debian variant
Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
Fixes from: Anil Madhavapeddy <anil@recoil.org>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/bigarray/mmap_win32.c')
0 files changed, 0 insertions, 0 deletions