Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- make
- Building ocamlgraph
- make[1]: Entering directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
- sed -e s/VERSION/1.8.2+svn/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \
- META.in > META
- rm -f src/version.ml
- echo "let version = \""1.8.2+svn"\"" > src/version.ml
- echo "let date = \""`date`"\"" >> src/version.ml
- rm -f .depend
- ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\
- lib/*.ml lib/*.mli \
- src/*.ml src/*.mli \
- editor/*.mli editor/*.ml \
- view_graph/*.mli view_graph/*.ml \
- dgraph/*.mli dgraph/*.ml > .depend
- make[1]: Leaving directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
- make[1]: Entering directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
- ocamlc -c -I src -I lib -g -dtypes src/version.ml
- 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
- File "_none_", line 1, characters 0-1:
- Error: src/sig.cmi
- is not a compiled interface
- make[1]: *** [graph.cmo] Error 2
- make[1]: Leaving directory `/home/ker2x/frama-c-Oxygen-20120901/ocamlgraph'
- make: *** [lib/graph.cmi] Error 2
Advertisement
Add Comment
Please, Sign In to add comment