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=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=1aa5265ba7d1dc4d8d58182e7ae77a0ffe0d9b8f;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

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