]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/tests/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / netstring / tests / Makefile
1 # Note: you need an appopriate toploop "ocamlfattop" to run the
2 # tests.
3
4 # 2nd note: "test_encoding.cgi" is a CGI script; you must invoke
5 # it through browser and WWW server.
6
7 test: test_recode
8         ocamlfattop test_netencoding.ml
9         ocamlfattop test_mimestring.ml
10         ocamlfattop test_cgi.ml
11         ocamlfattop test_neturl.ml
12         ./test_recode
13
14 test_recode: test_recode.ml
15         ocamlc -custom -o test_recode unix.cma threads.cma str.cma \
16                 ../netstring.cma ../netmappings_iso.cmo \
17                 -I .. -thread test_recode.ml
18
19 distclean: clean
20         rm -f *~ test_recode
21
22 clean:
23         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
24
25 CLEAN:
26