marionnet-dev team mailing list archive

[Luca Saiu <745779@xxxxxxxxxxxxxxxxxx>]

Hello Clément.  Your patch fixes compilation and looks definitely
correct, but compatibility with OCaml 3.12 is apparently more difficult;
at least on my machine our recursive mutex implementation from
OCamlbricks misbehaves under 3.12 for some reason we didn't quite
understand yet, which makes Marionnet hang very soon at startup.

I've applied your patch, together with some buildsystem changes of mine
which are intended to be backwards-compatible, in new branches named
"porting-to-ocaml-3.12", for both Marionnet and OCamlbricks; as soon as
we get to fix the recursive mutex problem we will be able to merge back
into trunk.

Thanks again,


** Changed in: marionnet
       Status: Triaged => Fix Committed

-- 
You received this bug notification because you are a member of
marionnet-dev, which is subscribed to marionnet.
https://bugs.launchpad.net/bugs/745779

Title:
  Compile error with ocaml 3.12.0

Status in Marionnet - A virtual network laboratory:
  Fix Committed

Bug description:
  I'm trying to compile marionnet on Archlinux using the last version of
  ocaml (3.12.0) and i have some errors :

  % make
  Just for debugging: PP_OPTION is "camlp4of -I /usr/lib/ocaml/ocamlbricks gettext_extract_pot_p4.cmo option_extract_p4.cmo raise_p4.cmo log_module_loading_p4.cmo -I chip"
  Building meta.ml...
  Success.
  Manually pre-copying "gettext_extract_pot_p4.conf"...
  Manually pre-copying "chip/chip_parser_p4.ml"...
  Manually pre-copying "scripts/can-directory-host-sparse-files.sh"...
  Manually pre-building "chip/chip_parser_p4.cmo"...
  make[1]: entrant dans le répertoire « /var/abs/local/marionnet/marionnet-0.90.6 »
  File "chip/chip_parser_p4.ml", line 52, characters 69-72:
  While expanding quotation "ctyp" in a position of "expr":
    Parse error: EOI expected after [quotation of type] (in [quotation of type])

  File "chip/chip_parser_p4.ml", line 1, characters 0-1:
  Error: Preprocessor error

  After some investigation (see this bug:
  http://caml.inria.fr/mantis/view.php?id=5080) i wrote a patch to fix
  this problem and it seem to solve the problem but i'm not an ocaml
  expert.