Po znalezieniu sposobu na maszynę docelową do maszyny generate the fitting configuration files, sam kompilator krzyżowy musi zostać zbudowany. Podejście wykorzystujące kompilację 1 1/2 described here (i, z bardziej szczegółowymi informacjami, here) wydaje się nie działać, jeśli system hosta i system docelowy różnią się zbytnio. Oto Zmieniona część skryptu build (które mogą być uzyskane z $ svn cat svn://svn.psellos.com/trunk/ocamlxarm/3.1/xarm-build
)Jak zbudować kompilator krzyżowy OCaml
# Small steps
config1() {
# Configure for building bytecode interpreter to run on Intel OS X.
# But specify * architecture for assembly and partial link.
echo 'xarm-build: ----- configure phase 1 -----'
./configure \
-prefix "" \
-no-curses \
-no-tk \
-no-graph \
-as "" \
-aspp ""\
-partialld ""
# Post-modify config/Makefile to select the * back end for
# ocamlopt (to generate * assembly code).
$SED -i'.bak'\
-e '1i\# modified by xarm-build for OCamlXARM' \
-e 's/^ARCH[ ]*=.*/ARCH=/' \
-e 's/^MODEL[ ]*=.*/MODEL=/' \
config/Makefile
#-e 's/^SYSTEM[ ]*=.*/SYSTEM=/' \
$SED -i'.bak'\
-e '1i\/* modified by xarm-build for OCamlXARM*/' \
-e 's/^#define[ ][ ]*HAS_STACK_OVERFLOW_DETECTION.*$//' \
config/s.h
# Post-modify utils/config.ml to tell ocamlopt to create *
# binaries for itself. Also tell ocamlc and ocamlopt to use *
# architecture when compiling C files.
make utils/config.ml
$SED -i'.bak'\
-e 's#let[ ][ ]*mkexe[ ]*=.*#let mkexe ="'"$CC"'"#' \
-e 's#let[ ][ ]*bytecomp_c_compiler[ ]*=.*#let bytecomp_c_compiler ="'"$CC"'"#' \
-e 's#let[ ][ ]*native_c_compiler[ ]*=.*#let native_c_compiler ="'"$CC"'"#' \
utils/config.ml
}
build1() {
# Don't assemble asmrun/*.S for Phase 1 build. Modify Makefile
# temporarily to disable. Be really sure to put back for Phase 2.
echo 'xarm-build: ----- build phase 1 -----'
trap 'mv -f asmrun/Makefile.aside asmrun/Makefile' EXIT
mv -f asmrun/Makefile asmrun/Makefile.aside
$SED -e '/^[ ]*ASMOBJS[ ]*=/s/^/#/' \
-e 's#^include[ ][ ]*../config/Makefile#include ../config/Target/Makefile#' \
asmrun/Makefile.aside > asmrun/Makefile
make world && make opt
mv -f asmrun/Makefile.aside asmrun/Makefile
trap - EXIT
}
Kompilacja utknie w stdlib podkatalogu, gdzie twierdzenie na konwencjach zawijających zawiedzie.
let loc_external_arguments =
match Config.system with
| "rhapsody" -> poweropen_external_conventions 0 7 100 112
| "elf" | "bsd" -> calling_conventions 0 7 100 107 outgoing 8
| _ -> assert false
nawet dostać się do tego punktu, amsrun/Makefile musiały zostać zmodyfikowane w celu zastosowania cross kompilacji toolchain i HAS_STACK_OVERFLOW_DETECTION
musiały zostać usunięte z config/sh od amsrun/signals_asm.c nie można skompilować w inny sposób.
Czy istnieje sposób na wykonanie tej pracy, czy też inne podejścia w this manner są lepiej dostosowane (i pracują z wersją OCaml 4.00.0)?
Uważam, że listy Ocaml lub fora http://caml.inria.fr/resources/forums.en.html są lepszym miejscem do zapytania. –
Nie wiem, jak wygląda twój obiekt docelowy, ale podejrzewam, że skrypt xarm-build jest całkiem blisko. Działa na krzyżową kompilację z OS X na Intel na iOS na ARM (podobne systemy, ale bardzo różne procesory). (Zrzeczenie się: napisałem xarm-build.) Ale Basile ma rację, możesz uzyskać lepsze odpowiedzi na listach mailowych OCaml. Jest wiele drobnych szczegółów, które muszą być dokładnie w porządku. –
@JeffreyScofield Its (Linux, i386) -> (Linux, PPC). Platformy te nie powinny być zbyt różne, ale wydaje się, że pliki obiektów/plików wykonywalnych różnią się nieznacznie. W każdym razie, poproszę facetów OCAML. Dzięki. –