ml-ng 브랜치를 사용하여 here으로 설명한 z3을 빌드했습니다. 모든게 괜찮 았어. 내가 OC3을 사용하기를 원할 때를 제외하고는 OCaml 최상위 레벨에서 z3을 사용하고 싶다. (필자는 FindLib #require 명령을 사용하여 필요한 것을 가져 오려고한다.)z3 OCaml bindings - toplevel
오류 : 외부 함수`n_is_null '을 (를) 사용할 수 없습니다.
이것이 무엇인지에 대한 아이디어가 있습니까? 어떻게하면 최상위 수준에서 z3을 성공적으로 사용할 수 있을까요?
두 링크가 실제로 동일합니다. 또한 어떤 버전을 사용 했습니까? 이것이 실제 릴리스가 아닌 경우 일이 깨지길 기대해야합니다. – didierc
Tplevel ocaml은 아직 지원되지 않습니다. 이것은 내가 가지고있는 모든 플랫폼에있는 모든 버전의 ocaml이 빌드를 거부하는 동적으로로드 가능한 스텁을 추가 할 것을 요구합니다 ... 그래서이 것들은 한참 걸릴 것입니다. –
답장을 보내 주셔서 감사합니다. @ChristophWintersteiger 그 순간에 효과가있는 것들로 할 것입니다. –