--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on August 2013 ---
On Mon, Aug 26, 2013 at 5:03 PM, Stephen Siegel <siegel at udel.edu> wrote: > Then I typed "sudo apt-get install ocaml". When that is done: > > student at ubuntu12:~$ ls /usr/local/lib > ocaml python2.7 python3.2 > student at ubuntu12:~$ ls /usr/local/lib/ocaml/ > 3.12.1 > student at ubuntu12:~$ ls /usr/local/lib/ocaml/3.12.1/ > stublibs > student at ubuntu12:~$ ls /usr/local/lib/ocaml/3.12.1/stublibs/ > student at ubuntu12:~$ > > So apt-get install sets up this trivial directory structure in > /usr/local/lib, while all the real stuff goes in /usr/lib/ocaml. I then > executed "sudo apt-get install libzarith-ocaml-dev", which put zarith in > /usr/lib/ocaml/zarith. > I see. Thanks for taking the time to explain. > Thanks for explaining what Zarith is for---I didn't have any idea, only > the sort of discouraging message about using the less efficient library. > This message was supposed to be reassuring! Zarith is a modern multi-precision integer library based on GMP. OCaml also contains a historical multi-precision integer library which is less efficient than Zarith in all respects. The historical library is used if Zarith is not found. A thin compatibility layer inside Frama-C allows to use one or the other with identical functionality. An alternative to the creation of the symlink may be to invoke Frama-C's configure with --enable-zarith=/usr/lib/ocaml/zarith Pascal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130826/c41e73dd/attachment-0001.html>