On Dec 17, 2011, at 22:50 , Andrej Bauer wrote: > I tried to use Oasis on one of my projects. I got stuck at the very > begining. I am on MacOS, there is no binary installer, and no > instructions for MacOS users. It told me a bunch of dependencies were > unsatisfied when I tried to compile. It would be useful to write a > line or two about how to satisfy all the dependecies, for example: > > "If you are compiling Oasis from source, it is easiest to satisfy all > the dependencies by installing them via GODI" (if that's even true). > > Even better: provide a binary installer for MacOS.
I created MacPorts for OASIS and its dependencies some time ago, you can install them using my Portfile repository at [1], the OASIS port is named "caml-oasis". > With kind regards, > Andrej HTH, Benedikt [1] https://github.com/bmeurer/MacPorts -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
