Benedikt Meurer dc0776f551 #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		2012-10-24 06:20:45 +00:00
..
.depend	Remove empty and useless file natdynlink.h.	2012-08-01 15:37:29 +00:00
.ignore	uniform .ignore system	2011-07-20 15:37:36 +00:00
Makefile	#5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).	2012-10-24 06:20:45 +00:00
Makefile.nt	remove all $Id keywords	2012-10-15 17:50:56 +00:00
amd64.S	remove all $Id keywords	2012-10-15 17:50:56 +00:00
amd64nt.asm	remove all $Id keywords	2012-10-15 17:50:56 +00:00
arm.S	#5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).	2012-10-24 06:20:45 +00:00
backtrace.c	remove all $Id keywords	2012-10-15 17:50:56 +00:00
fail.c	remove all $Id keywords	2012-10-15 17:50:56 +00:00
i386.S	remove all $Id keywords	2012-10-15 17:50:56 +00:00
i386nt.asm	remove all $Id keywords	2012-10-15 17:50:56 +00:00
natdynlink.c	Remove empty and useless file natdynlink.h.	2012-08-01 15:37:29 +00:00
power-elf.S	remove all $Id keywords	2012-10-15 17:50:56 +00:00
power-rhapsody.S	remove all $Id keywords	2012-10-15 17:50:56 +00:00
roots.c	remove all $Id keywords	2012-10-15 17:50:56 +00:00
signals_asm.c	remove all $Id keywords	2012-10-15 17:50:56 +00:00
signals_osdep.h	remove all $Id keywords	2012-10-15 17:50:56 +00:00
sparc.S	remove all $Id keywords	2012-10-15 17:50:56 +00:00
stack.h	remove all $Id keywords	2012-10-15 17:50:56 +00:00
startup.c	remove all $Id keywords	2012-10-15 17:50:56 +00:00