]> matita.cs.unibo.it Git - helm.git/blobdiff - components/hbugs/test/Makefile
branch for universe
[helm.git] / components / hbugs / test / Makefile
diff --git a/components/hbugs/test/Makefile b/components/hbugs/test/Makefile
new file mode 100644 (file)
index 0000000..0b3debf
--- /dev/null
@@ -0,0 +1,5 @@
+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