]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/netstring/tests/Makefile
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / pxp / netstring / tests / Makefile
diff --git a/helm/DEVEL/pxp/netstring/tests/Makefile b/helm/DEVEL/pxp/netstring/tests/Makefile
deleted file mode 100644 (file)
index 1aa5265..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-# 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:
-