X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Ftests%2FMakefile;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Ftests%2FMakefile;h=1aa5265ba7d1dc4d8d58182e7ae77a0ffe0d9b8f;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/netstring/tests/Makefile b/helm/DEVEL/pxp/netstring/tests/Makefile
new file mode 100644
index 000000000..1aa5265ba
--- /dev/null
+++ b/helm/DEVEL/pxp/netstring/tests/Makefile
@@ -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:
+