ports/189063: lang/ocaml: Add armv6 support
Andy Ray
evilkidder at gmail.com
Thu May 1 12:00:01 UTC 2014
The following reply was made to PR ports/189063; it has been noted by GNATS.
From: Andy Ray <evilkidder at gmail.com>
To: bug-followup at FreeBSD.org, michipili at gmail.com
Cc:
Subject: Re: ports/189063: lang/ocaml: Add armv6 support
Date: Thu, 1 May 2014 12:55:10 +0100
https://bitbucket.org/michipili/ports-bsd/pull-request/1/native-code-compilation-on-armv6-raspberry/diff
Summary;
* create 2 new patch files which modify the ocaml arm backend to support freebsd
* modify the ocaml configure script patch to detect arm+freebsd an a
platform appropriate for native code compilation
* modify the ports Makefile to set correct assembler options for ocaml
and compile the correct backend
The backend is modified in two files; arm.S and arm/arch.ml. These
are both based on using the SYS_freebsd define to select an ARM
compilation strategy appropriate for freebsd - specifically softvfp
and the use of EABI.
The configure script does the following;
* detect armv6/frebsd as appropriate for natdynlink
* set the platform triple armv6*-*-freebsd* to arm/armv6/freebsd which
enables the native code compiler
* although it is not used in this build process, also sets the
autodetected cc+as options (if my upstream ocaml patches are accepted,
this may be in 4.02)
This patch extends to original patch only and should still be
appropriate for processing with the post-patch target.
The changes to the ports Makefile are
* The 'as' option passed to 'configure' must include -mfpu and -meabi
options. There is now a new conditional section to set up 'as' and it
has been remove from the initial setup of CONFIGURE_ARGS.
* ARCH=armv6 is mapped to OCAML_ARCH=arm and the configure script
allowed to set things up appropriately.
This ARCH mapping is the thing I am least confident of as I am a bit
unsure of what is going on. Other targets such as powerpc seem to do
things differently.
-Andy
More information about the freebsd-ports-bugs
mailing list