Guest User

Untitled

a guest
Nov 15th, 2012
103
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.64 KB | None | 0 0
  1. make
  2. Building ocamlgraph
  3. make[1]: Entering directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
  4. sed -e s/VERSION/1.8.2+svn/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \
  5. META.in > META
  6. rm -f src/version.ml
  7. echo "let version = \""1.8.2+svn"\"" > src/version.ml
  8. echo "let date = \""`date`"\"" >> src/version.ml
  9. rm -f .depend
  10. ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\
  11. lib/*.ml lib/*.mli \
  12. src/*.ml src/*.mli \
  13. editor/*.mli editor/*.ml \
  14. view_graph/*.mli view_graph/*.ml \
  15. dgraph/*.mli dgraph/*.ml > .depend
  16. make[1]: Leaving directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
  17. make[1]: Entering directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
  18. ocamlc -c -I src -I lib -g -dtypes src/version.ml
  19. ocamlc -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo
  20. File "_none_", line 1, characters 0-1:
  21. Error: src/sig.cmi
  22. is not a compiled interface
  23. make[1]: *** [graph.cmo] Error 2
  24. make[1]: Leaving directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
  25. make: *** [lib/graph.cmi] Error 2
Advertisement
Add Comment
Please, Sign In to add comment