Advertisement
Guest User

Untitled

a guest
Dec 5th, 2011
76
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.20 KB | None | 0 0
  1. Linking bin/toplevel.byte
  2. ===================
  3. ocamlc.opt -w +a-4-6-7-9 -annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/type -I src/project -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I lib/plugins -I lib -linkall -custom -cclib -ltinfo -o bin/toplevel.byte nums.cma unix.cma bigarray.cma str.cma dynlink.cma lib/graph.cmo src/buckx/mybigarray.o src/buckx/buckx_c.o -cclib -ltinfo external/unmarshal.cmo external/unmarshal_nums.cmo src/lib/printexc_common_interface.cmo src/lib/map_common_interface.cmo src/lib/dynlink_common_interface.cmo src/type/structural_descr.cmo src/type/type.cmo src/type/descr.cmo src/lib/extlib.cmo src/lib/pretty_utils.cmo src/lib/hook.cmo src/lib/bag.cmo src/lib/bitvector.cmo src/lib/qstack.cmo src/lib/my_bigint.cmo src/kernel/config.cmo src/kernel/log.cmo src/kernel/cmdline.cmo src/project/project_skeleton.cmo src/type/datatype.cmo src/kernel/journal.cmo src/kernel/parameter.cmo src/kernel/dynamic.cmo src/lib/rangemap.cmo src/project/state.cmo src/project/state_dependency_graph.cmo src/project/state_topological.cmo src/project/state_selection.cmo src/project/project.cmo src/project/dashtbl.cmo src/project/state_builder.cmo src/kernel/plugin.cmo src/kernel/kernel.cmo src/kernel/emitter.cmo src/lib/binary_cache.cmo external/hptmap.cmo src/lib/hptset.cmo cil/src/cilmsg.cmo cil/ocamlutil/alpha.cmo cil/ocamlutil/clist.cmo cil/ocamlutil/growArray.cmo cil/ocamlutil/inthash.cmo cil/src/cil_datatype.cmo cil/ocamlutil/cilutil.cmo cil/ocamlutil/setWithNearest.cmo cil/src/cil_state_builder.cmo cil/src/logic/utf8_logic.cmo cil/src/cilglobopt.cmo cil/src/machdep_x86_16.cmo cil/src/machdep_x86_32.cmo cil/src/machdep_x86_64.cmo cil/src/machdep_ppc_32.cmo cil/src/machdep.cmo cil/src/cil_const.cmo cil/src/logic/logic_env.cmo cil/src/escape.cmo cil/src/logic/logic_const.cmo cil/src/cil.cmo cil/src/frontc/errorloc.cmo cil/src/frontc/cabs.cmo cil/src/ext/expcompare.cmo cil/src/frontc/cabshelper.cmo cil/src/frontc/whitetrack.cmo cil/src/logic/logic_utils.cmo cil/src/logic/logic_builtin.cmo cil/src/logic/logic_print.cmo cil/src/logic/logic_parser.cmo cil/src/logic/logic_lexer.cmo cil/src/frontc/lexerhack.cmo cil/src/mergecil.cmo cil/src/rmtmps.cmo cil/src/logic/logic_typing.cmo cil/src/frontc/cprint.cmo cil/src/frontc/cabscond.cmo cil/src/frontc/cabsvisit.cmo cil/src/frontc/cabs2cil.cmo cil/src/frontc/clexer.cmo cil/src/frontc/cparser.cmo cil/src/logic/logic_preprocess.cmo cil/src/frontc/frontc.cmo cil/src/ext/obfuscate.cmo cil/src/ext/ciltools.cmo cil/src/ext/callgraph.cmo cil/src/ext/dataflow.cmo cil/src/ext/dominators.cmo cil/src/ext/oneret.cmo cil/src/ext/cfg.cmo cil/src/ext/usedef.cmo cil/src/ext/liveness.cmo cil/src/ext/reachingdefs.cmo cil/src/ext/availexpslv.cmo cil/src/ext/rmciltmps.cmo cil/src/ext/deadcodeelim.cmo src/buckx/buckx.cmo src/kernel/ast_info.cmo src/kernel/ast_printer.cmo src/kernel/ast.cmo src/logic/property.cmo src/logic/property_status.cmo src/kernel/annotations.cmo src/kernel/globals.cmo src/kernel/kernel_function.cmo src/logic/description.cmo src/kernel/alarms.cmo src/kernel/cilE.cmo src/kernel/messages.cmo src/ai/abstract_interp.cmo src/ai/lattice_Interval_Set.cmo src/ai/int_Base.cmo src/kernel/unicode.cmo src/misc/bit_utils.cmo src/misc/subst.cmo src/misc/service_graph.cmo src/ai/ival.cmo src/ai/base.cmo src/ai/base_Set_Lattice.cmo src/ai/origin.cmo src/ai/map_Lattice.cmo src/memory_state/abstract_value.cmo src/memory_state/locations.cmo src/memory_state/shifted_Location.cmo src/memory_state/path_lattice.cmo src/memory_state/int_Interv.cmo src/memory_state/int_Interv_Map.cmo src/memory_state/tr_offset.cmo src/memory_state/new_offsetmap.cmo src/memory_state/offsetmap.cmo src/memory_state/offsetmap_bitwise.cmo src/memory_state/lmap.cmo src/memory_state/lmap_bitwise.cmo src/memory_state/function_Froms.cmo src/memory_state/cvalue.cmo src/memory_state/widen_type.cmo src/memory_state/state_set.cmo src/memory_state/state_imp.cmo src/kernel/stmts_graph.cmo src/kernel/visitor.cmo src/kernel/printer.cmo src/kernel/unroll_loops.cmo src/kernel/loop.cmo src/memory_state/inout_type.cmo src/pdg_types/pdgIndex.cmo src/pdg_types/pdgTypes.cmo src/pdg_types/pdgMarks.cmo src/slicing_types/slicingInternals.cmo src/slicing_types/slicingTypes.cmo src/kernel/db.cmo src/kernel/command.cmo src/kernel/task.cmo src/logic/translate_lightweight.cmo src/kernel/file.cmo src/misc/filter.cmo src/kernel/special_hooks.cmo src/memory_state/widen.cmo src/memory_state/bit_model_access.cmo src/logic/logic_interp.cmo src/logic/infer_annotations.cmo lib/plugins/Occurrence.cmo lib/plugins/Metrics.cmo lib/plugins/Syntactic_callgraph.cmo lib/plugins/Value.cmo lib/plugins/RteGen.cmo lib/plugins/From.cmo lib/plugins/Users.cmo lib/plugins/Constant_Propagation.cmo lib/plugins/Postdominators.cmo lib/plugins/Inout.cmo lib/plugins/Semantic_callgraph.cmo lib/plugins/Impact.cmo lib/plugins/Pdg.cmo lib/plugins/Scope.cmo lib/plugins/Sparecode.cmo lib/plugins/Slicing.cmo src/kernel/boot.cmo
  4. ===================
  5. + gcc -o 'bin/toplevel.byte' '-Lsrc/misc' '-Lsrc/ai' '-Lsrc/memory_state' '-Lsrc/toplevel' '-Lsrc/slicing_types' '-Lsrc/pdg_types' '-Lsrc/kernel' '-Lsrc/logic' '-Lsrc/lib' '-Lsrc/type' '-Lsrc/project' '-Lsrc/buckx' '-Lsrc/gui' '-Lexternal' '-Lcil/src' '-Lcil/src/ext' '-Lcil/src/frontc' '-Lcil/src/logic' '-Lcil/ocamlutil' '-Llib/plugins' '-Llib' '-L/usr/lib/ocaml' -Wl,-E '/tmp/camlobjab02a5.c' '-lcamlstr' '-lbigarray' '-lunix' '-lnums' '-ltinfo' 'src/buckx/mybigarray.o' 'src/buckx/buckx_c.o' '-ltinfo' '-ltinfo' '-lcamlrun' -I'/usr/lib/ocaml' -lm -ldl -lcurses -lpthread
  6. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  7. (.text+0x62): undefined reference to `tgetent'
  8. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  9. (.text+0x7a): undefined reference to `tgetnum'
  10. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  11. (.text+0x8f): undefined reference to `tgetstr'
  12. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  13. (.text+0xa5): undefined reference to `tgetstr'
  14. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  15. (.text+0xbb): undefined reference to `tgetstr'
  16. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  17. (.text+0xd1): undefined reference to `tgetstr'
  18. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_setup':
  19. (.text+0xf6): undefined reference to `tgetstr'
  20. /usr/lib/ocaml/libcamlrun.a(terminfo.o):(.text+0x10c): more undefined references to `tgetstr' follow
  21. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_backup':
  22. (.text+0x19d): undefined reference to `tputs'
  23. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_standout':
  24. (.text+0x1d7): undefined reference to `tputs'
  25. /usr/lib/ocaml/libcamlrun.a(terminfo.o): In function `caml_terminfo_resume':
  26. (.text+0x20c): undefined reference to `tputs'
  27. collect2: ld returned 1 exit status
  28. File "_none_", line 1, characters 0-1:
  29. Error: Error while building custom runtime system
  30. make: *** [bin/toplevel.byte] Error 2
  31. make 70.42s user 18.87s system 97% cpu 1:31.70 total
  32. wieczyk@posejdon: Downloads/frama-c-Nitrogen-20111001 (2)
  33.  
  34.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement