構建OCaml交叉編譯器 - 配置零件

Question

我需要構建一個OCaml交叉編譯器。可悲的是，它似乎不支持開箱即用，需要一些小小的工作，as described用於舊版OCaml compiler。
我的第一個問題是：什麼是生成的文件配置/莫氏硬度，配置/ S.H和配置/ Makefile文件的好方法？

Answer 1

使用修改後的配置「鏈」可以生成文件。Ocamls配置腳本​​假定它可以在同一次運行中編譯和執行結果，這在交叉編譯環境中是不可能的。
因此必須修改配置過程，以便編譯結果（包括可執行文件）被存儲並可以在目標機器的第二次運行中使用。這是顯示修改（〜200行）的diff文件。

diff -r -U 1 ocaml-4.00.0-orig/config/auto-aux/hasgot ocaml-4.00.0-cross/config/auto-aux/hasgot 
--- ocaml-4.00.0-orig/config/auto-aux/hasgot 
+++ ocaml-4.00.0-cross/config/auto-aux/hasgot 
@@ -15,2 +15,4 @@ 

+. ./keyval.sh 
+ 
opts="" 
@@ -36,7 +38,13 @@ 

+key="$cc $args" 
+getValueExit "$key" 
+ 
if test "$verbose" = yes; then 
    echo "hasgot $args: $cc $opts -o tst hasgot.c $libs" >&2 
- exec $cc $opts -o tst hasgot.c $libs > /dev/null 
+ `exec $cc $opts -o tst hasgot.c $libs > /dev/null` 
else 
- exec $cc $opts -o tst hasgot.c $libs > /dev/null 2>/dev/null 
+ `exec $cc $opts -o tst hasgot.c $libs > /dev/null 2>/dev/null` 
fi 
+res=$? 
+setValue "$key" "$res" 
+exit "$res" 
diff -r -U 1 ocaml-4.00.0-orig/config/auto-aux/hasgot2 ocaml-4.00.0-cross/config/auto-aux/hasgot2 
--- ocaml-4.00.0-orig/config/auto-aux/hasgot2 
+++ ocaml-4.00.0-cross/config/auto-aux/hasgot2 
@@ -15,2 +15,4 @@ 

+. ./keyval.sh 
+ 
opts="" 
@@ -36,7 +38,13 @@ 

+key="$cc $args" 
+getValueExit "$key" 
+ 
if test "$verbose" = yes; then 
    echo "hasgot2 $args: $cc $opts -o tst hasgot.c $libs" >&2 
- exec $cc $opts -o tst hasgot.c $libs > /dev/null 
+ `exec $cc $opts -o tst hasgot.c $libs > /dev/null` 
else 
- exec $cc $opts -o tst hasgot.c $libs > /dev/null 2>/dev/null 
+ `exec $cc $opts -o tst hasgot.c $libs > /dev/null 2>/dev/null` 
fi 
+res=$? 
+setValue "$key" "$res" 
+exit "$res" 
Only in ocaml-4.00.0-cross/config/auto-aux: keyval.sh 
diff -r -U 1 ocaml-4.00.0-orig/config/auto-aux/runtest ocaml-4.00.0-cross/config/auto-aux/runtest 
--- ocaml-4.00.0-orig/config/auto-aux/runtest 
+++ ocaml-4.00.0-cross/config/auto-aux/runtest 
@@ -17,6 +17,30 @@ 
echo "runtest: $cc -o tst $* $cclibs" >&2 
-$cc -o tst $* $cclibs || exit 100 
+stream=/dev/stderr 
else 
-$cc -o tst $* $cclibs 2> /dev/null || exit 100 
+stream=/dev/null 
+#$cc -o tst $* $cclibs 2> /dev/null || exit 100 
fi 
+ 
+key="$* $cclibs" 
+ 
+if test "$crossmode" = cross-cc; then 
+ i=`cat ./counter` 
+ $cc -o tst"$i" $* $cclibs 2> "$stream" || exit 100 
+ echo "$key"'%%#%%'tst"$i" >> ./map_runtest 
+ i=`expr $i + 1` 
+ echo "$i" > ./counter 
+ if test "$*" = sizes.c; then 
+  echo "4 4 4 2" 
+ fi 
+ if test `expr "$*" : '.*tclversion.c'` -ne 0; then 
+  echo "8.5" 
+ fi 
+ exit 0 
+fi 
+if test "$crossmode" = cross-run; then 
+ tst=`awk -v ccargs="$key" 'BEGIN {FS="%%#%%"} $1 == ccargs {print $2}' ./map_runtest` 
+ exec ./"$tst" 
+fi 
+ 
+$cc -o tst $* $cclibs 2> "$stream" || exit 100 
exec ./tst 
diff -r -U 1 ocaml-4.00.0-orig/config/auto-aux/tryassemble ocaml-4.00.0-cross/config/auto-aux/tryassemble 
--- ocaml-4.00.0-orig/config/auto-aux/tryassemble 
+++ ocaml-4.00.0-cross/config/auto-aux/tryassemble 
@@ -1,8 +1,16 @@ 
#!/bin/sh 
+ 
+. ./keyval.sh 
+ 
+key="$aspp $*" 
+getValueExit "$key" 
+ 
if test "$verbose" = yes; then 
echo "tryassemble: $aspp -o tst $*" >&2 
-$aspp -o tst $* || exit 100 
+`$aspp -o tst $* || exit 100` 
else 
-$aspp -o tst $* 2> /dev/null || exit 100 
+`$aspp -o tst $* 2> /dev/null || exit 100` 
fi 
+res=$? 
+setValue "$key" "$res" 

@@ -11,7 +19,14 @@ 
if test "$verbose" = yes; then 
+key="$as $*" 
+getValueExit "$key" 
echo "tryassemble: $as -o tst $*" >&2 
-$as -o tst $* || exit 100 
+`$as -o tst $* || exit 100` 
else 
-$as -o tst $* 2> /dev/null || exit 100 
+`$as -o tst $* 2> /dev/null || exit 100` 
fi 
+res=$? 
+setValue "$key" "$res" 
+exit $res 
+else 
+exit $res 
fi 
diff -r -U 1 ocaml-4.00.0-orig/config/auto-aux/trycompile ocaml-4.00.0-cross/config/auto-aux/trycompile 
--- ocaml-4.00.0-orig/config/auto-aux/trycompile 
+++ ocaml-4.00.0-cross/config/auto-aux/trycompile 
@@ -15,7 +15,15 @@ 

+. ./keyval.sh 
+ 
+key="$cc $* $cclibs" 
+getValueExit "$key" 
+ 
if test "$verbose" = yes; then 
echo "trycompile: $cc -o tst $* $cclibs" >&2 
-$cc -o tst $* $cclibs || exit 100 
+`$cc -o tst $* $cclibs || exit 100` 
else 
-$cc -o tst $* $cclibs 2> /dev/null || exit 100 
+`$cc -o tst $* $cclibs 2> /dev/null || exit 100` 
fi 
+res=$? 
+setValue "$key" "$res" 
+exit $res 
diff -r -U 1 ocaml-4.00.0-orig/configure ocaml-4.00.0-cross/configure 
--- ocaml-4.00.0-orig/configure 
+++ ocaml-4.00.0-cross/configure 
@@ -47,2 +47,3 @@ 
withcamlp4=camlp4 
+crossmode='' 

@@ -119,2 +120,4 @@ 
     withcamlp4="";; 
+ -cross|--cross) 
+  crossmode="$2"; shift;; 
    *) echo "Unknown option \"$1\"." 1>&2; exit 2;; 
@@ -158,2 +161,21 @@ 

+case "$crossmode" in 
+ cc) 
+  crossmode=cross-cc 
+  echo 0 > ./counter 
+  rm -f ./map_runtest ./map_hasgot 
+  touch ./map_runtest ./map_hasgot;; 
+ run) 
+  crossmode=cross-run 
+  if test ! -e ./map_runtest -o ! -e ./map_hasgot; then 
+   echo 'Run with -cross cc first' 
+   exit 2 
+  fi 
+  rm -f ./counter;; 
+ none) crossmode=none;; 
+ "") crossmode=none ;; 
+ *) 
+  echo 'Unknown crossmode'>&2 
+  exit 2;; 
+esac 
# Write options to Makefile 
@@ -350,3 +372,3 @@ 
cc="$bytecc -O $bytecclinkopts" 
-export cc cclibs verbose 
+export cc cclibs verbose crossmode 

@@ -1647,2 +1669,5 @@ 

+if test "$crossmode" = cross-run; then 
+ rm -f tst* ./map_runtest ./map_hasgot 
+fi 
# Print a summary 

配置腳本獲取新的-cross選項。當cc是它的參數時，它只編譯，當它是run時，它只執行編譯的東西。中間結果存儲在config/auto-aux/map_ {hasgot，runtest}中，大多數使用setValue和getValueExit進行檢索，兩者都在config/auto-aux/keyval.sh中定義。如果一個與供給交工具鏈數據

-cc，-as，-aspp，-partialld，-libs，-dllibs，-dldefs

生成文件應該是可用的。最後，文件keyval.sh，其內容是不是在DIFF：

getValueExit() 
{ 
if test "$crossmode" = cross-run; then 
    res=`awk -v ccargs="$1" 'BEGIN {FS="%%#%%"} $1 == ccargs {print $2; exit}' ./map_hasgot` 
    exit "$res" 
fi 
} 

setValue() 
{ 
if test "$crossmode" = cross-cc; then 
    echo "$1"'%%#%%'"$2" >> ./map_hasgot 
fi 
} 

如果使用tk，一個必須修改配置/自動AUX /的runTest，並與它的版本號替換0.0。此外，如果將solaris用作目標機器或主機器，則可能需要修改文件config/auto-aux/solaris-ld。

Answer 2

我幾年來一直在構建OCaml交叉編譯器。 （請參閱我的個人資料以獲取到我的網站的鏈接。）我所做的是構建編譯器1.5倍。第一次是主持人（有一些目標設定）。第二部分構建是爲目標構建運行時。

我的用於構建從OS X到ARM/iOS的交叉編譯器的腳本名爲xarm-build。如果你有顛覆，你可以從我的公共倉庫中取得副本：

$ svn cat svn://svn.psellos.com/trunk/ocamlxarm/3.1/xarm-build 

免責聲明：現在，這個腳本只是構建編譯器的字節碼版本。也就是說，編譯器本身是一個OCaml字節碼可執行文件。但是它會爲目標生成本機代碼。

如果您嘗試此操作並有任何問題，請告訴我。

爲了回答您的具體問題，如果你的目標系統是類Unix，你可以嘗試在目標上運行的configure腳本生成config/s.h，config/m.h，並config/Makefile，正如你提到的都是重要的文件。如果您的目標有模擬器，您可以在模擬器中運行configure - 這就是我爲iOS所做的。否則，你必須自己弄清楚合理的內容。 （也許在類Unix系統上運行配置，儘可能與目標類似）