Build error on fresh clone

Issue #214 new
Prashanth Mundkur
created an issue

I get the following error when building:

$ git show|grep commit commit 212b8dcf59bb570de6d72b06d1290b4b2e964be1

$ ocamlc --version 4.05.0 (Do I really have to switch to an older version of ocaml?)

$ make [...] make[1]: Entering directory '/home/mundkur/src/hw/lem/library' lem_basic_classesAuxiliary.ml lem_boolAuxiliary.ml lem_eitherAuxiliary.ml lem_function_extraAuxiliary.ml lem_listAuxiliary.ml lem_list_extraAuxiliary.ml lem_machine_wordAuxiliary.ml lem_mapAuxiliary.ml lem_map_extraAuxiliary.ml lem_maybeAuxiliary.ml lem_numAuxiliary.ml lem_relationAuxiliary.ml lem_setAuxiliary.ml lem_set_extraAuxiliary.ml lem_sortingAuxiliary.ml lem_stringAuxiliary.ml lem_string_extraAuxiliary.ml lem_tupleAuxiliary.ml lem_wordAuxiliary.ml


  • Testing lem_basic_classes

Fatal error: unknown C primitive `ml_z_of_string_base' make[1]: [Makefile:46: ocaml-lib-tests] Error 2 make[1]: Leaving directory '/home/mundkur/src/hw/lem/library' make: [Makefile:57: ocaml-libs] Error 2

Comments (3)

  1. Dominic Mulligan

    Hi Prashanth,

    I am currently away on holiday so cannot address this in any depth. However this error is related to Zarith and usually indicates that you either have more than one version of Zarith installed (i.e. via Opam and a local install) or it is not in the right place or not being found (I.e. an environment variable issue). Note also that the Lem executable and library has built correctly at this point, and what is failing is a series of automatic tests to make sure that the library definitions are reasonable. So you should now have a Lem executable in your Lem directory to use. I will try to address this in more detail when I am back in the office.

  2. Prashanth Mundkur reporter

    Hi Dominic,

    Indeed, I did have an errant zarith, which I removed in favor of the bundled package. However, I now get a different error:

    ***************************************************
    * Testing lem_basic_classes
    ***************************************************
    
    Fatal error: cannot load shared library dllzarith
    Reason: dllzarith.so: cannot open shared object file: No such file or directory
    

    I can't seem to find the right option to give ocamlfind opt, since dllzarith.so was built fine in the -I <dir>.

    But since I do have a lem executable, as you pointed out, and I can build sail, this is not holding me up. Thanks.

  3. Log in to comment