4
다른 파일의 정의를 사용할 ocamlbuild 플러그인 (myocamlbuild.ml)을 작성하려고합니다. 필자는 여러 빌드 플러그인에 걸쳐 사용하고자하는 많은 정의를 가지고 있으며이를 자신의 파일에 넣기를 원했습니다. ocamlbuild를 두 번 실행 해 보았습니다. 한 번만 -no-plugin을 사용하여 플러그인을 빌드했습니다.ocamlbuild : 옵션으로 플러그인 작성
ocamlbuild -no-plugin myocamlbuild.cmo
다음 나중에 다시
ocamlbuild actual-targets.otarget
하지만 난 그것을 플러그인을 다시 시도 두 번째를 실행하고 심지어 불구하고 (이 포함 된 라이브러리를 찾을 수 없다고 불평하는 경우 _build 디렉토리에 존재). 그래서 ocamlbuild가 명령 줄에 '-I _build _build/coq_paths.cmx'를 포함하도록 설득 할 수있는 방법이 있습니까? 'ocamlbuild -help'에서 '-plugin-option'플래그가있는 것처럼 보이지만 사용할 방법이 없습니다.
감사합니다.