Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] error when install frama-c

  • Subject: [Frama-c-discuss] error when install frama-c
  • From: doan.thanh.nam.1988 at gmail.com (nam nam)
  • Date: Sun, 30 Aug 2009 21:27:16 +0700
Good morning all.

I have a problem when I try to install frama - c.

 I have installed ocaml 3.11 and then I have used ./configure command. The
result of this command is attached in this email

When I use make command I have received the message

"make: *** No targets specified and no makefile found.  Stop."

I have tried to solve it but frama-c does not work.

Anyone help me, please?
Thanks you
Nam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090830/55c682ad/attachment.htm 
-------------- next part --------------
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for make... make
make version is GNU Make 3.81: Good!
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
ocaml version is 3.11.1: Good!
ocaml library path is /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for /usr/local/lib/ocaml/ocamlgraph... no
checking for /usr/local/lib/ocaml/ocamlgraph/graph.cmx... no
configure: Switching to local ocamlgraph
checking for ocamlgraph... yes
checking for ocamlgraph.tar.gz... yes
checking for ocamlgraph/Makefile... yes
configure: ***********************************************
configure: * CONFIGURE NON-MANDATORY TOOLS AND LIBRARIES *
configure: ***********************************************
checking for ocamldoc... ocamldoc
checking for ocamlmktop... ocamlmktop
checking for otags... no
checking for dot... no
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking if performance counters are usable... ok (2900.000 cycles per us)
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/constant_propagation... yes
constant_propagation... yes
checking for src/from... yes
from... yes
checking for src/gui... yes
gui... yes
checking for src/impact... yes
impact... yes
checking for src/inout... yes
inout... yes
checking for src/jessie... yes
jessie... yes
checking for src/ltl_to_acsl... yes
ltl_to_acsl... yes
checking for src/metrics... yes
metrics... yes
checking for src/miel... no
miel... no
checking for src/occurrence... yes
occurrence... yes
checking for src/pdg... yes
pdg... yes
checking for src/postdominators... yes
postdominators... yes
checking for src/scope... yes
scope... yes
checking for src/security... yes
security... yes
checking for src/semantic_callgraph... yes
semantic_callgraph... yes
checking for src/slicing... yes
slicing... yes
checking for src/sparecode... yes
sparecode... yes
checking for src/syntactic_callgraph... yes
syntactic_callgraph... yes
checking for src/users... yes
users... yes
checking for src/value... yes
value... yes
checking for src/wp... no
wp... no
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
checking for ltl2ba... no
plug-ins not fully functional:
  ltl_to_acsl

checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cmxa... no
plug-ins disabled:
  gui

checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cmxa... no
checking for /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cmxa... no
plug-ins disabled:
  gui

checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no
plug-ins not fully functional:
  syntactic_callgraph

checking for /usr/local/lib/apron.a... no
checking for /usr/lib/apron.a... no
plug-ins not fully functional:
  jessie

checking for why/jc... yes
checking for /usr/local/lib/ocaml/dynlink.cmxa... yes
checking for lablgtk2's custom tree model... no