>> ocamlc.opt -c /tmp/ocaml_cocci_bbc38d.cmo -g -I >> /home/elfring/Projekte/Coccinelle/20160205/ocaml -I /usr/lib64/ocaml >> /tmp/ocaml_cocci_bbc38d.ml
How can it be achieved to replace the shown reference to a directory of the (standard) library for the system OCaml compiler? elfring@Sonne:~> /usr/local/bin/opam config exec --switch 4.07.1 ocamlfind printconf stdlib /usr/lib64/ocaml Does such an information need further development considerations? Would you like to be able to specify other include parameters for the used compilation command? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
