ocamlopt.opt - 클라우드의 온라인

프로그램:

이름

ocamlopt - OCaml 네이티브 코드 컴파일러

개요

오캄 롭트 [ 옵션 ] 파일 이름 ...

ocamlopt.opt (같은 옵션)

기술

OCaml 고성능 네이티브 코드 컴파일러 오캄 롭트(1) OCaml 소스 파일을 다음으로 컴파일
네이티브 코드 개체 파일과 이러한 개체 파일을 연결하여 독립형 실행 파일을 생성합니다.

이 어플리케이션에는 XNUMXµm 및 XNUMXµm 파장에서 최대 XNUMXW의 평균 출력을 제공하는 오캄 롭트(1) 명령에는 다음과 매우 유사한 명령줄 인터페이스가 있습니다. Ocamlc(1). 그것
동일한 유형의 인수를 허용하고 순차적으로 처리합니다.

.mli로 끝나는 인수는 컴파일 단위 인터페이스의 소스 파일로 간주됩니다.
인터페이스는 컴파일 단위에서 내보낸 이름을 지정합니다.
유형, 공용 데이터 유형 정의, 추상 데이터 유형 선언 등. 로부터
파일 x.mli, 오캄 롭트(1) 컴파일러는 파일에 컴파일된 인터페이스를 생성합니다. x.cmi. 그만큼
생성된 인터페이스는 바이트코드 컴파일러에서 생성된 것과 동일합니다. Ocamlc(1).

.ml로 끝나는 인수는 컴파일 단위 구현을 위한 소스 파일로 간주됩니다.
구현은 장치에서 내보낸 이름에 대한 정의를 제공하고 다음을 포함합니다.
부작용을 평가할 표현입니다. 파일에서 x.ml, 오캄 롭트(1)
컴파일러는 두 개의 파일을 생성합니다. x.o, 기본 개체 코드 포함 및 x.cmx, 포함
장치 클라이언트의 연결 및 최적화에 대한 추가 정보입니다. 컴파일된
구현은 항상 이름 아래에서 참조되어야 합니다. x.cmx(.o 파일이 주어졌을 때,
오캄 롭트(1) OCaml이 아닌 C에서 컴파일된 코드를 포함한다고 가정합니다.)

구현은 인터페이스 파일과 비교하여 확인됩니다. x설명된 .mli(존재하는 경우)
설명서에 Ocamlc(1).

.cmx로 끝나는 인수는 컴파일된 개체 코드로 간주됩니다. 이 파일들은 링크되어 있습니다
.ml 인수(있는 경우)를 컴파일하여 얻은 개체 파일과 함께
네이티브 코드 실행 프로그램을 생성하기 위한 OCaml 표준 라이브러리. 주문
명령줄에 표시되는 .cmx 및 .ml 인수는 관련이 있습니다. 컴파일
단위는 런타임에 해당 순서대로 초기화되며,
초기화하기 전에 장치의 구성 요소입니다. 따라서 주어진 x.cmx 파일이 와야 합니다.
장치를 참조하는 모든 .cmx 파일 앞에 x.

.cmxa로 끝나는 인수는 개체 코드 라이브러리로 간주됩니다. 이러한 라이브러리 팩
두 개의 파일로 lib.cmxa 및 lib.aa 개체 파일 세트(.cmx/.o 파일). 라이브러리가 빌드되었습니다.
과 오캄 롭트 -a (설명 참조 -a 아래 옵션). 포함된 개체 파일
라이브러리에 있는 파일은 다음과 같은 경우 지정된 순서대로 일반 .cmx 파일(위 참조)로 연결됩니다.
도서관이 지어졌습니다. 유일한 차이점은 객체 파일이
라이브러리는 프로그램의 어느 곳에서도 참조되지 않으며 링크되지 않습니다.

.c로 끝나는 인수는 .o 개체 파일을 생성하는 C 컴파일러로 전달됩니다.
이 목적 파일은 프로그램과 연결되어 있습니다.

.o 또는 .a로 끝나는 인수는 C 개체 파일 및 라이브러리로 간주됩니다. 그들은
프로그램과 연동됩니다.

연결 단계의 출력은 일반 Unix 실행 파일입니다. 그것은 필요하지 않습니다
오캄룬(1) 뛰다.

ocamlopt.opt 와 같은 컴파일러입니다. 오캄 롭트, 하지만 with 대신 자체로 컴파일됨
바이트코드 컴파일러 Ocamlc(1). 따라서 다음과 같이 정확하게 동작합니다. 오캄 롭트, 그러나 컴파일
빠릅니다. ocamlopt.opt 모든 OCaml 설치에서 사용할 수 있는 것은 아닙니다.

옵션

다음 명령줄 옵션은 다음에서 인식됩니다. 오캄 롭트(1).

-a 제공된 개체 파일(.cmx/.o 파일)을 사용하여 라이브러리(.cmxa/.a 파일)를 빌드합니다.
실행 파일에 연결하는 대신 명령줄을 사용합니다. 이름은
라이브러리는 다음과 같이 설정되어야 합니다. -o 옵션을 선택합니다.

If -cclib or -콥트 옵션은 명령줄에서 전달되며 이러한 옵션은 다음과 같습니다.
결과 .cmxa 라이브러리에 저장됩니다. 그런 다음 이 라이브러리와 연결
자동으로 다시 추가 -cclib 및 -콥트 옵션이 제공된 것처럼
명령줄에서 -노오토링크 옵션이 주어집니다. 추가적으로,
부분 문자열 $CAMLORIGIN 내부 -콥트 옵션은 전체 경로로 대체됩니다.
파일 이름을 제외한 .cma 라이브러리.

-absname
오류 메시지에 절대 파일 이름을 표시합니다.

-주석 컴파일에 대한 자세한 정보(유형, 바인딩, 마무리 호출 등)를 덤프합니다.
파일 정보 SRC.ml이 파일에 저장됩니다. SRC.annot. 타입의 경우
오류가 발생하면 오류 이전에 유형 검사기가 유추한 모든 정보를 덤프합니다. 그만큼
SRC.annot 파일은 다음에 제공된 emacs 명령과 함께 사용할 수 있습니다. emacs/caml-types.el 에
유형 및 기타 주석을 대화식으로 표시합니다.

-bin-annot
컴파일에 대한 자세한 정보 덤프(유형, 바인딩, 마무리 호출 등)
바이너리 형식으로. 파일 정보 SRC.ml이 파일에 저장됩니다. SRC.cmt. ~ 안에
타입 오류가 발생하면 이전에 타입 검사기가 유추한 모든 정보를 덤프합니다.
오류. 에서 생성한 주석 파일 -bin-annot 더 많은 정보를 포함
에서 생성한 파일보다 훨씬 더 작습니다. -주석.

-c 컴파일만 합니다. 컴파일의 연결 단계를 억제합니다. 소스 코드 파일은
컴파일된 파일로 바뀌었지만 실행 파일이 생성되지 않습니다. 이 옵션은
모듈을 별도로 컴파일하는 데 유용합니다.

-cc ccomp
ccomp 최종 실행 파일을 빌드하기 위해 호출되는 C 링커와 C
.c 소스 파일을 컴파일하기 위한 컴파일러.

-cclib -l라이브러리 이름
통과 -l라이브러리 이름 링커에 대한 옵션입니다. 이로 인해 주어진 C 라이브러리가
프로그램과 연동됩니다.

-콥트 선택권
주어진 옵션을 C 컴파일러와 링커에 전달합니다. 예를 들어, -콥트 -LDIR
C 링커가 디렉토리에서 C 라이브러리를 검색하도록 합니다. DIR.

-콤팩트
시간보다는 공간에 맞게 생성된 코드를 최적화합니다. 이로 인해 더 작아집니다.
하지만 약간 느린 프로그램입니다. 기본값은 속도를 최적화하는 것입니다.

-구성
의 버전 번호를 인쇄하십시오. 오캄 롭트(1) 및 자세한 요약
구성을 선택한 다음 종료합니다.

-팩용 모듈 경로
나중에 하위 파일로 포함할 수 있는 개체 파일(.cmx 및 .o 파일)을 생성합니다.
다음으로 구성된 컴파일 단위의 모듈(지정된 액세스 경로 포함) -팩.
예를 들어, 오캄 롭트 -팩용 P -c A.ml a.cmx 및 ao 파일을 생성합니다.
나중에 사용할 수 있습니다 오캄 롭트 -팩 -o P.cmx a.cmx.

-g 컴파일 및 링크하는 동안 디버깅 정보를 추가합니다. 이 옵션은 다음에서 필요합니다.
프로그램이 잡히지 않은 상태로 종료될 때 스택 역추적을 생성하기 위해
예외(참조 오캄룬(삼)).

-i 컴파일러가 정의된 모든 이름(추론된 유형 또는 해당 이름과 함께)을 인쇄하도록 합니다.
정의) 구현(.ml 파일)을 컴파일할 때. 컴파일된 파일(.cmo
및 .cmi 파일)이 생성됩니다. 이는 다음에 의해 유추된 유형을 확인하는 데 유용할 수 있습니다.
컴파일러. 또한 출력이 인터페이스의 구문을 따르기 때문에 도움이 될 수 있습니다.
파일에 대한 명시적 인터페이스(.mli 파일)를 작성할 때: 표준을 리디렉션하기만 하면 됩니다.
컴파일러의 출력을 .mli 파일로 변환하고 해당 파일을 편집하여 모두 제거합니다.
내보내지 않은 이름의 선언.

-I 예배 규칙서
컴파일된 인터페이스를 검색한 디렉토리 목록에 지정된 디렉토리 추가
파일(.cmi), 컴파일된 개체 코드 파일(.cmx) 및 라이브러리(.cmxa). 기본적으로,
현재 디렉토리가 먼저 검색된 다음 표준 라이브러리 디렉토리가 검색됩니다.
-I로 추가된 디렉토리는 현재 디렉토리 다음에 순서대로 검색됩니다.
명령줄에서 제공되었지만 표준 라이브러리 이전에 제공되었습니다.
예배 규칙서. 옵션도 참조하세요 -nostdlib.

주어진 디렉토리가 다음으로 시작하는 경우 +, 표준 라이브러리를 기준으로 합니다.
예배 규칙서. 예를 들어, -I +컴파일러 라이브러리 하위 디렉토리를 추가합니다 컴파일러 라이브러리 of
표준 라이브러리를 검색 경로에 추가합니다.

-impl 파일 이름
파일 컴파일 파일 이름 확장자가 아닌 경우에도 구현 파일로
.ml

-인라인 n
인라인의 공격성을 다음으로 설정합니다. n어디로 n 양의 정수입니다. 지정
-인라인 0 본문이 다음과 같은 기능을 제외한 모든 기능이 인라인되는 것을 방지합니다.
호출 사이트보다 작습니다. 따라서 인라인으로 인해 코드 크기가 확장되지 않습니다. 그만큼
기본 공격성, -인라인 1, 약간 더 큰 함수를 인라인할 수 있습니다.
결과적으로 코드 크기가 약간 확장됩니다. 더 높은 값 -인라인 선택권
점점 더 큰 함수가 인라인 후보가 되지만
코드 크기가 크게 증가했습니다.

-intf 파일 이름
파일 컴파일 파일 이름 확장자가 .mli가 아니더라도 인터페이스 파일로 사용할 수 있습니다.

-intf-접미사 현
로 끝나는 파일 이름 인식 현 인터페이스 파일로(기본값 대신
.mli).

-keep-locs
생성된 .cmi 파일에 문서 문자열을 보관합니다.

-keep-locs
생성된 .cmi 파일에 위치를 유지합니다.

-라벨
레이블은 유형에서 무시되지 않으며 레이블은 응용 프로그램에서 사용될 수 있으며 레이블이 지정됩니다.
매개변수는 임의의 순서로 제공될 수 있습니다. 이것이 기본값입니다.

-링크올
라이브러리에 포함된 모든 모듈이 링크되도록 강제합니다. 이 플래그가
참조되지 않은 모듈은 링크되지 않습니다. 라이브러리를 빌드할 때(-a 깃발),
설정 -링크올 플래그는 해당 프로그램과 관련된 모든 후속 링크를 강제 실행합니다.
라이브러리에 포함된 모든 모듈을 연결하는 라이브러리.

-별칭 없음-뎁스
모듈 별칭에 대한 종속성을 기록하지 마세요.

-앱 기능 없음
펑터의 적용 동작을 비활성화합니다. 이 옵션을 사용하면 각 펑터
응용 프로그램은 결과에 새 유형을 생성하고 동일한 함수를 두 번 적용합니다.
동일한 인수에 대해 두 개의 호환되지 않는 구조가 생성됩니다.

-노어설트
어설션 검사를 컴파일하지 마십시오. 참고로 특별한 형태는 단언하다 그릇된 항상
특수하게 입력되었기 때문에 컴파일되었습니다. 링크할 때 이 플래그는 효과가 없습니다.
이미 컴파일된 파일.

-노오토링크
.cmxa 라이브러리를 연결할 때 무시 -cclib 및 -콥트 잠재적인 옵션
라이브러리에 포함된
도서관). 이는 라이브러리에 잘못된 C 사양이 포함되어 있는 경우 유용할 수 있습니다.
라이브러리 또는 C 옵션; 이 경우 연결 중에 다음을 설정합니다. -노오토링크 그리고 통과
명령줄에서 C 라이브러리 및 옵션을 수정하십시오.

-nodynlink
컴파일러가 다음과 같은 코드에만 유효한 일부 최적화를 사용하도록 허용
결코 dynlink되지 않았습니다.

-nostdlib
표준 라이브러리 디렉토리를 디렉토리 목록에 자동으로 추가하지 마십시오.
컴파일된 인터페이스 파일(.cmi), 컴파일된 개체 코드 파일(.cmx),
및 라이브러리(.cmxa). 옵션도 참조하세요 -I.

-nolabels
유형에서 선택 사항이 아닌 레이블을 무시합니다. 레이블은 응용 프로그램에서 사용할 수 없으며
매개변수 순서가 엄격해집니다.

-o 실행 파일
링커에서 생성된 출력 파일의 이름을 지정합니다. 기본 출력 이름
유닉스 전통에 따라 a.out입니다. 만약 -a 옵션이 주어지면 지정
생성된 라이브러리의 이름입니다. 만약 -팩 옵션이 주어지면 이름을 지정하십시오.
생성된 패킹된 오브젝트 파일. 만약 -출력-OBJ 옵션이 주어지면
생성된 출력 파일의 이름입니다. 만약 -공유 옵션이 주어지면 이름을 지정하십시오
플러그인 파일 생성. 이것은 또한 인터페이스를 컴파일할 때 사용할 수 있습니다.
구현 파일(링크 없음), 이 경우 cmi의 이름을 설정하거나
cmo 파일을 만들고 모듈 이름도 첫 번째 점까지 파일 이름으로 설정합니다.

-오픈 모듈
인터페이스 또는 구현 파일을 처리하기 전에 지정된 모듈을 엽니다. 만약에
몇몇의 -오픈 옵션이 주어지면 순서대로 처리됩니다.
진술이 열립니다! 모듈1;; ... 열려 있는! 모듈ㄴ;; 각 파일의 상단에 추가되었습니다.

-출력-OBJ
링커가 실행 파일 대신 C 개체 파일을 생성하도록 합니다. 이것은
모든 C 프로그램에서 호출할 수 있는 C 라이브러리로 OCaml 코드를 래핑하는 데 유용합니다. 의 이름
출력 개체 파일은 다음과 같이 설정되어야 합니다. -o 옵션. 이 옵션은 다음과 같을 수도 있습니다.
컴파일된 공유/동적 라이브러리(.so 확장자)를 생성하는 데 사용됩니다.

-p 프로그램 실행 시 프로필 정보를 작성하기 위한 추가 코드를 생성합니다. 그만큼
그런 다음 분석 프로그램으로 프로필 정보를 검사할 수 있습니다. gprof(1). 그만큼
-p 옵션은 컴파일 타임과 링크 타임 모두에 제공되어야 합니다. 연결 객체
컴파일되지 않은 파일 -p 가능하지만 덜 정확한 프로파일링이 발생합니다.

을 참조 gprof(1) 프로필에 대한 자세한 내용은 매뉴얼 페이지를 참조하세요.

전폭적 인 지원 gprof(1)은 특정 플랫폼(현재: Intel)에서만 사용할 수 있습니다.
x86/리눅스 및 알파/디지털 유닉스). 다른 플랫폼에서는 -p 옵션 결과
덜 정확한 프로파일(콜 그래프 정보 없음, 시간 프로파일만).

-팩 개체 파일(.cmx 및 .o 파일) 및 관련 컴파일된 인터페이스 빌드
(.cmi) 명령줄에 제공된 .cmx 개체 파일을 결합하여
출력 .cmx 파일의 하위 모듈로 나타납니다. 출력 .cmx 파일의 이름
와 함께 주어야 한다. -o 옵션. 예를 들어,
오캄 롭트 -팩 -o P.cmx A.cmx B.cmx C.cmx 컴파일된 파일 P.cmx, Po 및
XNUMX개의 하위 모듈 A, B 및 C를 갖는 컴파일 유닛을 설명하는 P.cmi,
개체 파일 A.cmx, B.cmx 및 C.cmx의 내용에 해당합니다. 이것들
프로그램의 나머지 부분에서는 내용을 PA, PB 및 PC로 참조할 수 있습니다.

결합되는 .cmx 개체 파일은 적절한
-팩용 옵션. 위의 예에서 A.cmx, B.cmx 및 C.cmx는 다음과 같아야 합니다.
로 컴파일 오캄 롭트 -팩용 P.

결합하여 여러 수준의 포장을 달성할 수 있습니다. -팩 과 -팩용. 참조
이 어플리케이션에는 XNUMXµm 및 XNUMXµm 파장에서 최대 XNUMXW의 평균 출력을 제공하는 오캄 사용자 조작자세한 내용은 "네이티브 코드 컴파일" 장을 참조하십시오.

-pp 명령
컴파일러가 주어진 것을 호출하도록 합니다. 명령 각 소스의 전처리기로
파일. 의 출력 명령 중간 파일로 리디렉션됩니다.
컴파일. 컴파일 오류가 없으면 중간 파일이 삭제됩니다.
나중에.

-ppx 명령
구문 분석 후 전처리기를 통해 추상 구문 트리를 파이프합니다. 명령. 그만큼
모듈 Ast_mapper(3) 전처리기의 외부 인터페이스를 구현합니다.

-주요한
유형 검사 중 정보 경로를 확인하여 모든 유형이 올바른지 확인하십시오.
주요 방법으로 파생됩니다. 에서 허용되는 모든 프로그램 -주요한 모드는 또한
동일한 유형이지만 다른 바이너리 서명을 사용하여 기본 모드에서 허용됩니다.

-rectypes
유형 검사 중에 임의의 재귀 유형을 허용합니다. 기본적으로 재귀
재귀가 객체 유형을 통과하는 유형이 지원됩니다. 일단 참고하세요
이 플래그를 사용하여 인터페이스를 생성했습니다. 모든 작업에 대해 다시 사용해야 합니다.
종속성.

-런타임 변형 접미사
추가 접미사 프로그램에서 사용할 런타임 라이브러리의 이름에. 만약에
OCaml은 옵션으로 구성되었습니다. -디버그 런타임, 그 다음에 d 접미사는
지원되며 런타임의 디버그 버전을 제공합니다.

-S 컴파일 중에 생성된 어셈블리 코드를 유지합니다. 에 대한 어셈블리 코드
소스 파일 x.ml이 파일에 저장됩니다. x.NS.

-안전 문자열
유형 간 분리 적용 현 및 바이트, 따라서 문자열을 읽습니다.
오직. 이것은 향후 OCaml 버전에서 기본값이 될 것입니다.

-공유
동적으로 로드할 수 있는 플러그인(일반적으로 .cmxs)을 빌드합니다. 딘링크
기준 치수. 플러그인의 이름은 -o 옵션. 플러그인은 다음을 포함할 수 있습니다.
다수의 OCaml 모듈 및 라이브러리, 추가 기본 개체(.o, .a 파일).
기본 플러그인 빌드는 일부 운영 체제에서만 지원됩니다. 일부 아래
시스템(현재 Linux AMD 64만 해당)에서 플러그인에 링크된 모든 OCaml 코드는
없이 컴파일되었습니다. -nodynlink 깃발. 일부 제약 조건이 적용될 수도 있습니다.
추가 기본 개체가 컴파일된 방식(Linux AMD 64에서
위치 독립적인 코드만 포함해야 함).

-짧은 경로
여러 모듈 경로 아래에 유형이 표시되면 가장 짧은 것을 사용하십시오.
유추된 인터페이스와 오류 및 경고 메시지에 유형의 이름을 인쇄합니다.

-엄격한 시퀀스
시퀀스의 왼쪽 부분에는 단위 유형이 있어야 합니다.

-실
시스템 스레드와 함께 멀티스레드 프로그램을 컴파일하거나 링크합니다.
에 설명된 라이브러리 이 어플리케이션에는 XNUMXµm 및 XNUMXµm 파장에서 최대 XNUMXW의 평균 출력을 제공하는 오캄 사용자 조작.

-위험한
배열 및 문자열 액세스에 대한 경계 검사를 해제합니다( v.(i)및시]
구조). 로 컴파일된 프로그램 -위험한 따라서 더 빠르지만 안전하지 않습니다.
프로그램이 배열 또는 문자열 외부에 액세스하면 어떤 일이든 발생할 수 있습니다.
범위. 또한 정수 나누기에서 XNUMX 나누기에 대한 확인을 해제하고
모듈러스 연산. 와 함께 -위험한, XNUMX으로 정수 나누기(또는 모듈러스)를 수행할 수 있습니다.
프로그램을 중지하거나 지정되지 않은 결과를 계속 발생시키는 대신
XNUMX으로 나누기 예외.

-안전하지 않은 문자열
유형 식별 현 및 바이트, 따라서 문자열을 쓰기 가능하게 만듭니다. 이유로
이전 버전과의 호환성을 위해 현재로서는 이것이 기본 설정이지만
향후 버전의 OCaml에서 변경됩니다.

-v 컴파일러의 버전 번호와 표준 라이브러리의 위치를 ​​인쇄합니다.
디렉터리를 선택한 다음 종료합니다.

-말 수가 많은
모든 외부 명령이 실행되기 전에 인쇄합니다.
어셈블러, C 컴파일러 및 링커.

-번역 or -vnum
짧은 형식(예: "3.11.0")으로 컴파일러의 버전 번호를 인쇄한 다음 종료합니다.

-w 경고 목록
인수로 지정된 경고를 활성화, 비활성화 또는 치명적으로 표시합니다.
경고 목록. 참조 Ocamlc(1)의 구문 경고 목록.

-경고 오류 경고 목록
인수에 지정된 경고를 치명적으로 표시합니다. 경고 목록. 컴파일러
이러한 경고 중 하나가 발생하면 오류와 함께 중지됩니다. 그만큼 경고 목록
와 같은 의미를 갖는다. -w 옵션: + 기호(또는 대문자) 표시
해당 경고는 치명적입니다. - 기호(또는 소문자)는
치명적이지 않은 경고로 돌아가고 @ 활성화하고 치명적으로 표시하는 서명
해당 경고.

참고: 사용하지 않는 것이 좋습니다. -경고 오류 프로덕션 코드의 옵션,
이후 버전으로 프로그램을 컴파일하는 것을 거의 확실하게 방지하기 때문입니다.
새로운 경고를 추가하거나 기존 경고를 수정할 때 OCaml의

기본 설정은 다음과 같습니다. -경고 오류 -a (모든 경고는 치명적이지 않습니다).

-경고-도움말
사용 가능한 모든 경고 번호에 대한 설명을 표시합니다.

-어디 표준 라이브러리의 위치를 ​​인쇄한 다음 종료합니다.

- 파일 방법 파일 대시(-) 문자로 시작하더라도 파일 이름으로 사용됩니다.

-도움 or --도움
간단한 사용 요약을 표시하고 종료합니다.

옵션 위한 L' IA32 건축

IA32 코드 생성기(Intel Pentium, AMD Athlon)는 다음과 같은 추가 기능을 지원합니다.
옵션 :

-빠른 수학
IA32 명령어를 사용하여 삼각함수와 지수함수를 계산합니다.
해당 라이브러리 루틴을 호출하는 대신. 영향을 받는 기능은 다음과 같습니다.
아탄, 아탄2, 코사인, 기록, log10, 죄, sqrt 및 황갈색의. 결과 코드가 더 빠르게 실행됩니다.
그러나 지원되는 인수의 범위와 결과의 정밀도는
줄인. 특히, 삼각함수 연산 코사인, 죄, 황갈색의 그들의 범위를 가지고
[-2^64, 2^64]로 감소했습니다.

옵션 위한 L' AMD64 건축

AMD64 코드 생성기(Intel Pentium 및 AMD Athlon의 64비트 버전)는 다음을 지원합니다.
다음 추가 옵션:

-fPIC 위치 독립적인 기계 코드를 생성합니다. 이것이 기본값입니다.

-fno-PIC
위치 의존 기계어 코드를 생성합니다.

옵션 위한 L' SPARC 건축

Sparc 코드 생성기는 다음과 같은 추가 옵션을 지원합니다.

-행진=v8
SPARC 버전 8 코드를 생성합니다.

-행진=v9
SPARC 버전 9 코드를 생성합니다.

기본값은 모든 SPARC 프로세서에서 실행되는 SPARC 버전 7용 코드를 생성하는 것입니다.

옵션 위한 L' ARM 건축

ARM 코드 생성기는 다음과 같은 추가 옵션을 지원합니다.

-farch=armv4|armv5|armv5te|armv6|armv6t2|armv7
ARM 대상 아키텍처 선택

-ffpu=소프트|vfpv2|vfpv3-d16|vfpv3
부동 소수점 하드웨어 선택

-fPIC 위치 독립적인 기계 코드를 생성합니다.

-fno-PIC
위치 의존 기계어 코드를 생성합니다. 이것이 기본값입니다.

-엉뚱한 말
Thumb/Thumb-2 코드 생성 활성화

-fno-thumb
Thumb/Thumb-2 코드 생성 비활성화

대상 아키텍처, 부동 소수점 하드웨어 및 썸 사용에 대한 기본값은 다음과 같습니다.
빌드 시 구성 시 선택됨 오캄 롭트 그 자체. 이 구성은 다음과 같습니다.
사용하여 검사 오캄 롭트 -구성. 대상 아키텍처는 "모델" 설정에 따라 다릅니다.
부동 소수점 하드웨어 및 썸 지원은 ABI 설정에서 결정됩니다.
"시스템"( linux_eabiorlinux_eabihf).

onworks.net 서비스를 통해 온라인으로 ocamlopt.opt 사용