]> matita.cs.unibo.it Git - helm.git/blob - components/hbugs/test/Makefile
fixed coercions. composite can't occur if to funclass
[helm.git] / components / 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