Open jrrk opened 7 years ago
Trace was a bad choice of name for a module inside CIL. It prevents the OCAML toplevel from linking.
ocamlmktop -o cilmain -I ocamlfind -query cil nums.cma unix.cma str.cma cil.cma cilmain.cmo File "/home/jrrk2/.opam/4.03.0/lib/cil/cil.cma(Trace)", line 1: Warning 31: files /home/jrrk2/.opam/4.03.0/lib/cil/cil.cma(Trace) and /home/jrrk2/.opam/4.03.0/lib/ocaml/compiler-libs/ocamltoplevel.cma(Trace) both define a module named Trace Error: Some fatal warnings were triggered (1 occurrences)
The attached pull request fixes the issue and allows Cil data structures to be accessed from the OCaml toplevel.
Trace was a bad choice of name for a module inside CIL. It prevents the OCAML toplevel from linking.
ocamlmktop -o cilmain -I ocamlfind -query cil nums.cma unix.cma str.cma cil.cma cilmain.cmo File "/home/jrrk2/.opam/4.03.0/lib/cil/cil.cma(Trace)", line 1: Warning 31: files /home/jrrk2/.opam/4.03.0/lib/cil/cil.cma(Trace) and /home/jrrk2/.opam/4.03.0/lib/ocaml/compiler-libs/ocamltoplevel.cma(Trace) both define a module named Trace Error: Some fatal warnings were triggered (1 occurrences)
The attached pull request fixes the issue and allows Cil data structures to be accessed from the OCaml toplevel.