I'm trying to install OMake so I can install Teyjus so I can start writing a bit of Lambda Prolog but I'm getting I'm getting a bunch of errors on OS X 10.10.5. The most current one, that I can't figure out, is:
*** omake: 497/1193 targets are up to date
*** omake: failed (5.99 sec, 124/124 scans, 81/94 rules, 258/1153 digests)
*** omake: targets were not rebuilt because of errors:
src/libmojave/lm_printf.cmx
src/libmojave/lm_printf.o
Has anyone run into this? Does anyone know of a fix? Would love to be able to get started.
Inspired by your posts (here and on /r/prolog) I decided to try and build Teyjus as well, and installed OCaml and OMake along the way. The following describes the steps I took to successfully install OCaml and OMake:
Installing OCaml
OCaml.org said the best way to install OCaml was to go through OPAM. However, since I chose to install OPAM with homebrew, and OCaml was a prereq, I ended up with the latest version of OCaml set up after the first two of the following steps:
Install opam via homebrew:
Following instructions from https://opam.ocaml.org/doc/Install.html
Initialize opam
Following the instructions provided by the homebrew results, I ran
Installing standard libraries
If I'm going to have OCaml installed any how, I might as well get it set up for proper use, cause eventually I'll want to play around with OCaml itself again too. Thus, I took the advice of the OCaml installation instructions and ran
Installing OMake
The OMake download page scared me. I thought, "hey, I've just installed the robust OCaml package manager, OPAM, and OMake is written in OCaml – so maybe I can find an OMake package on OPAM and dodge all those deadly bullet-points". Thus I ran
And saw that omake 0.9.8.6-0 was on offer, which appears to be the most recent one. So I installed it
That should be it! I was able to build Teyjus from source subsequently (I'll post the whole record of my steps on the reddit thread).
As an FYI, adding information that answers a question you didn't ask, it looks like Teyjus binaries are also available for OSX: https://github.com/teyjus/teyjus/releases