1
Ocaml에 모듈 Mpqf를 설치하는 방법을 알고 싶습니다. 내가 사용하려고하면 "오류 : 언 바운드 모듈 Mpqf"가 표시됩니다. 우분투에 있습니다.Ocaml : 어떻게 Mpqf 모듈을 설치할 수 있습니까?
감사합니다. (내 영어 ... 죄송합니다)
A
답변
1
우분투 패키지 관리자를 통해 OCaml을 설치 한 경우 모듈은 libapron-ocaml-dev 패키지에 있습니다.
[email protected]:~$ apt-file list libapron-ocaml-dev | grep mpqf
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.cmi
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.cmx
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.mli
관련 문제
- 1. Ti.Healthkit 모듈을 어떻게 설치할 수 있습니까?
- 2. pythonds 모듈을 어떻게 설치할 수 있습니까?
- 3. admin 영역에서 magento 2.1 모듈을 어떻게 설치할 수 있습니까?
- 4. CPAN.pm을 사용하지 않고 어떻게 Perl 모듈을 설치할 수 있습니까?
- 5. Linux-Ubuntu : 어떻게 autopy Python 모듈을 설치할 수 있습니까?
- 6. Python - 모듈을 설치할 때 기본 경로를 어떻게 바꿀 수 있습니까?
- 7. Python MySQLdb 모듈을 openSUSE에 어떻게 설치할 수 있습니까?
- 8. 특정 버전의 Perl 모듈을 어떻게 설치할 수 있습니까?
- 9. Cython을 사용하여 setup.py 모듈을 어떻게 설치할 수 있습니까?
- 10. openshift에서 글로벌 노드 모듈을 어떻게 설치할 수 있습니까?
- 11. OCaml : 모듈을 설정하십시오.
- 12. NodeJS 모듈을 설치할 수 없습니다.
- 13. pyethereum 모듈을 설치할 수 없습니다.
- 14. OCaml 뮤텍스 모듈을 찾을 수 없습니다.
- 15. PIL을 어떻게 설치할 수 있습니까?
- 16. github에서 어떻게 설치할 수 있습니까?
- 17. 모듈을 설치할 위치를 모른다
- 18. OCaml 모듈을 설치하는 방법은 무엇입니까?
- 19. OCaml : Windows에서 모듈을 사용하는 방법
- 20. ocaml toplevel이 무제한 모듈을 던졌습니다.
- 21. 어떻게/빈에게 $ 홈 아래 Node.js를 모듈을 설치할 수 있습니다
- 22. 내 호스팅 제공 업체의 컴퓨터에 perl 모듈을 설치할 수 있습니까
- 23. IPython에 'sphinxext module'을 어떻게 설치할 수 있습니까?
- 24. ffmpeg가 PHP 확장 모듈을 설치할 수 없습니다
- 25. 어떻게하면 공개적으로 의존성이있는 개인 모듈을 pip에 설치할 수 있습니까?
- 26. lib 파일을 복사하는 것만으로 어떤 Perl 모듈을 설치할 수 있습니까?
- 27. Text :: Bidi CPAN 모듈을 설치할 수 없습니다.
- 28. json2html python 모듈을 설치할 수 없습니다.
- 29. python mysql 모듈을 설치할 수 없습니다
- 30. OpenERP 6에 새 모듈을 설치할 수 없습니다.
답변 해 주셔서 감사합니다. :)! 이미 libapron-ocaml-dev 패키지를 설치했습니다. 방금 확인한 mpqf.cmi, mpqf.cmx 및 mpqf.mli는 올바른 폴더 (/ usr/lib/ocaml/apron /)에 있습니다. 하지만 "ocamlbuild exemple.byte"를 컴파일하려고하면 "Error : Unbound module Mpqf"가 표시됩니다. 그러면 어떻게 컴파일해야합니까? –
컴파일을 시도하는 데 사용하는 명령을 포함하면 유용합니다. 이것은 간단한 경우'ocamlopt -I (path-to-mpfq) mpfg.cmx test.ml -o test'에서 작동합니다. – nlucaroni
감사합니다 !!!!! –