ocamlfind

问题 configure: m4 not in PATH; this is required I wonder how I can fix this. Thanks a lot! (I tried to copy the m4 folder to that path but it is not working) ==== ERROR [while installing ocamlfind.1.3.3] ==== # opam-version 1.0.0 # os linux # command ./configure -bindir /home/airobert/.opam/4.01.0dev+trunk/bin -sitelib /home/airobert/.opam/4.01.0dev+trunk/lib -mandir /home/airobert/.opam/4.01.0dev+trunk/man -config /home/airobert/.opam/4.01.0dev+trunk/lib/findlib.conf # path /home/airobert/.opam

问题 I have installed ocaml under cygwin64 (a Windows 10 computer). Ocaml, ocamlc seem to run fine, but I need packages. So I've tried opam, and it complained that ocamlfind was missing. I have tried to install ocamlfind it two ways - using opam and from the findlib repository on gitlab.camlcity.org - and in both cases, it failed on not finding dllunix.so . I noticde that the environment variable OCAMLLIB was C:\Ocaml (ie outside the cygwin directory tree), but that in /usr/lib/ocaml/stublibs

问题 I am trying to install Z3 package(https://github.com/Z3Prover/z3.git) I ran the following commands ./configure cd build make make install Installation was successfull. However when i run Ocamlfind list z3 component is not listed. So when i try to build my project which uses z3 , its failing with error ocamlfind: Package `Z3' not found. I did the following workarounds, a) added the z3.exe location to path b) I ran the following python command, but i got an error message saying its not able to

问题 I wanted to compile my project using command: ocamlfind ocamlopt -package ocamlnet -package batteries -package unix -linkpkg oauth.ml but I'm getting following error: ocamlfind: Package `ocamlnet' not found make: *** [oauth.cmi] Error 2 After some research on this problem I have read that there may be problem with packages installed via opam and packages installed before opam installation (in this case with ocamlfind) so I tried to check that and get stuck because ocamlfind is installed via