]> matita.cs.unibo.it Git - helm.git/blob - helm/graphs/tools/simplify_deps/Makefile
ocaml 3.09 transition
[helm.git] / helm / graphs / tools / simplify_deps / Makefile
1 OBJS = simplify_deps simplify_deps.opt
2
3 all: $(OBJS)
4
5 simplify_deps: simplify_deps.ml
6         ocamlfind ocamlc -package str -linkpkg simplify_deps.ml -o simplify_deps
7
8 simplify_deps.opt: simplify_deps.ml
9         ocamlfind ocamlopt -package str -linkpkg simplify_deps.ml -o simplify_deps.opt
10
11 clean:
12         rm -f $(OBJS) simplify_deps.cm[iox] simplify_deps.o