Repository navigation
No implementations provided for Usedef and Callgraph #1
Description
Hi, I got the following error while compiling ktc:
+ ocamlfind ocamlopt -linkpkg -package cil -I src src/ktcutil.cmx src/fdelay.cmx src/ktcoptions.cmx src/sdelay.cmx src/main.cmx -o src/main.native
File "_none_", line 1:
Error: No implementations provided for the following modules:
Usedef referenced from src/ktcutil.cmx
Callgraph referenced from src/fdelay.cmx, src/sdelay.cmx
Command exited with code 2.
SW:
- macOS 10.13.2
- OCaml 4.06.0
- opam 1.2.2
- cil (git source w/patch for OCaml 4.06 fix for OCaml 4.06.0 (-safe-string is the default) cil-project/cil#38)
Metadata
Metadata
Assignees
Labels
No labels
Activity
saranya-natarajan commentedon Jan 18, 2018
Hi
Are you executing make with sudo ? Can you execute it without and see if you get the same error ?
berezovskyi commentedon Jan 23, 2018
fails in a same way with and w/o sudo