07fe54d31b
- Optionally included frontend tools: graph viewer and editor
12 lines
323 B
Text
12 lines
323 B
Text
%%GUI%%bin/graph-viewer.byte
|
|
%%GUI%%bin/graph-viewer.opt
|
|
%%GUI%%bin/graph-viewer
|
|
%%GUI%%bin/graph-editor.byte
|
|
%%GUI%%bin/graph-editor.opt
|
|
%%GUI%%bin/graph-editor
|
|
%%OCAML_LIBDIR%%/graph.a
|
|
%%OCAML_LIBDIR%%/graph.cma
|
|
%%OCAML_LIBDIR%%/graph.cmi
|
|
%%OCAML_LIBDIR%%/graph.cmo
|
|
%%OCAML_LIBDIR%%/graph.cmx
|
|
%%OCAML_LIBDIR%%/graph.cmxa
|