]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/netstring/tests/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / tests / Makefile
diff --git a/helm/DEVEL/pxp/netstring/tests/Makefile b/helm/DEVEL/pxp/netstring/tests/Makefile
new file mode 100644 (file)
index 0000000..1aa5265
--- /dev/null
@@ -0,0 +1,26 @@
+# Note: you need an appopriate toploop "ocamlfattop" to run the
+# tests.
+
+# 2nd note: "test_encoding.cgi" is a CGI script; you must invoke
+# it through browser and WWW server.
+
+test: test_recode
+       ocamlfattop test_netencoding.ml
+       ocamlfattop test_mimestring.ml
+       ocamlfattop test_cgi.ml
+       ocamlfattop test_neturl.ml
+       ./test_recode
+
+test_recode: test_recode.ml
+       ocamlc -custom -o test_recode unix.cma threads.cma str.cma \
+               ../netstring.cma ../netmappings_iso.cmo \
+               -I .. -thread test_recode.ml
+
+distclean: clean
+       rm -f *~ test_recode
+
+clean:
+       rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
+
+CLEAN:
+