]> matita.cs.unibo.it Git - helm.git/blob - test/Makefile
made executable again
[helm.git] / 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