]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/test/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / test / Makefile
index 9bd02bfa331a9a97e1ed3783a79218c3462c4992..0b3debf7470b305c2a2fae6359662a09078ddd2c 100644 (file)
@@ -1,4 +1,5 @@
-all:
+all: test_serialization
+test_serialization: test_serialization.ml
        OCAMLPATH="../meta" ocamlfind ocamlc -linkpkg -package hbugs-common -o test_serialization test_serialization.ml
 clean:
        rm -f *.cm[io] test_serialization