OCaml 크로스 컴파일러 빌드하기 - 구성 부분

Question

OCaml 크로스 컴파일러를 빌드해야합니다. 슬프게도, 이것은 박스에서 지원되지 않으며 약간의 작업이 필요합니다. 의 이전 버전은 as described입니다.
내 첫 번째 질문은 다음과 같습니다 설정/m.h, 설정/s.h 및 설정/메이크 파일을 생성하는 좋은 방법은 무엇입니까?

Answer 1

"configure chain"을 사용하여 파일을 생성 할 수 있습니다. Ocamls configure 스크립트는 크로스 컴파일 환경에서 불가능할 수있는 동일한 실행에서 결과를 컴파일하고 실행할 수 있다고 가정합니다.
따라서 컴파일 결과 (실행 파일 포함)가 저장되고 대상 시스템에서 두 번째 실행에 사용될 수 있도록 구성 절차를 수정해야합니다. 다음은 수정본 (~ 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

메이크 가능해야한다.마지막으로, 그 내용은 diff에없는 파일 keyval.sh는 : tk 사용

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 
} 

경우, 하나는 설정/자동 AUX/runtest을 수정하고 버전 번호와 0.0를 교체해야합니다. 또한 solaris가 대상 또는 호스트 시스템으로 사용되는 경우 파일 config/auto-aux/solaris-ld을 수정해야 할 수도 있습니다.

Answer 2

저는 OCaml 크로스 컴파일러를 몇 년 동안 제작 해 왔습니다. 내 웹 사이트 링크를 보려면 내 프로필을 참조하십시오. 내가하는 일은 컴파일러를 1 1/2 시간 만 빌드하는 것입니다. 처음으로 호스트에 대한 것입니다 (대상에 대한 일부 설정이 있음). 하반기 빌드는 대상에 대한 런타임을 빌드하는 것입니다.

OS X에서 ARM/iOS 로의 크로스 컴파일러 작성을위한 스크립트의 이름은 xarm-build입니다.

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

면책 조항 : 당신은 서브 버전이있는 경우, 당신은 내 공개 저장소에서 사본을 얻을 수있는 지금,이 스크립트는 컴파일러의 바이트 코드 버전을 구축합니다. 즉, 컴파일러 자체는 OCaml 바이트 코드 실행 파일입니다. 그러나 타겟에 대한 원시 코드를 생성합니다.

이 방법을 사용하고 궁금한 점이 있으면 알려 주시기 바랍니다. 대상 시스템 인 경우

는, 특정 질문에 대한 답을 유닉스처럼 당신이 중요한 파일입니다 언급으로 config/s.h, config/m.h 및 config/Makefile를 생성하는 대상에 configure 스크립트를 실행 시도 할 수 있습니다. 타겟에 대한 시뮬레이터가 있다면 시뮬레이터 내에서 configure을 실행할 수 있습니다. 이것이 iOS에서하는 것입니다. 그렇지 않으면 합당한 내용을 알아 내야합니다. (가능하면 대상과 비슷한 유닉스 계열 시스템에서 configure를 실행하십시오.)