--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2009 ---
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