]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/test/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / hbugs / test / Makefile
1 all: test_serialization
2 test_serialization: test_serialization.ml
3         OCAMLPATH="../meta" ocamlfind ocamlc -linkpkg -package hbugs-common -o test_serialization test_serialization.ml
4 clean:
5         rm -f *.cm[io] test_serialization