1. Zachary Anderson
  2. cil-template
Issue #6 new

Problem with CIL tutorial code

Wei Chen
created an issue

Hi, I am considering doing some CIL development(both application or CIL kernel). And I start with the tutorial first. But in my ubuntu 12.04, I fail to build the tutorial.

The command I use is

cmake -DBUILD_TUT0=true

The error log is attached:

-- The C compiler identification is GNU
-- The CXX compiler identification is GNU
-- Check for working C compiler: /usr/bin/gcc
-- Check for working C compiler: /usr/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Looking for clock_gettime in rt
-- Looking for clock_gettime in rt - found
-- Looking for dlopen in dl
-- Looking for dlopen in dl - found
-- Found OCAML: 4.01.0 
isntall prefix = /usr/local/lib/ciltut/
PPARGS = 
-- Found unix: [distributed with Ocaml] 
-- Found str: [distributed with Ocaml] 
-- Found ocamlgraph: 1.8.3 
-- Found findlib: 1.4 
-- Found cil: 1.7.3 
ocamlfind: Package `cil.callgraph' not found
ocamlfind: Package `cil.callgraph' not found
-- Could NOT find cil.callgraph (missing:  OCAML_CIL.CALLGRAPH_VERSION OCAML_CIL.CALLGRAPH_INCLUDE_DIR) 
-- Configuring done
-- Generating done
CMake Warning:
  Manually-specified variables were not used by the project:

    BUILD_TUT0


-- Build files have been written to: /usr0/home/weichen1/Documents/codes/github/cil-template

Do you have any ideas? Or should I install other version of CIL? Thank you very much!

Comments (6)

  1. tushar panda

    same here "cil.callgraph" not found. the "callgraph" package is not even in repository "http://opam.ocaml.org/packages/".

    zanderso, plz let us know where we can find "callgraph" package .

    i am using ubuntu 12.04 LTS.

    anyways thanks for ciltemplate, i hv gone through cil pdf dcoument its awesome, but without ciltemplate i cant even try a single example.

    wei, did u ever get it resolved ??

  2. Log in to comment