]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/META
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / META
1 version = "0.9.3"
2 requires = "str"
3 description = "String processing for the Internet"
4
5 archive(byte) = 
6     "netstring.cma netmappings_iso.cmo netmappings_other.cmo"
7 archive(byte,toploop) = 
8     "netstring.cma netmappings_iso.cmo netmappings_other.cmo 
9      netstring_top.cmo"
10 archive(byte,mt) = 
11     "netstring.cma netmappings_iso.cmo netmappings_other.cmo 
12      netstring_mt.cmo"
13 archive(byte,mt,toploop) = 
14     "netstring.cma netmappings_iso.cmo netmappings_other.cmo 
15      netstring_mt.cmo netstring_top.cmo"
16 archive(native) = 
17     "netstring.cmxa netmappings_iso.cmx netmappings_other.cmx"
18 archive(native,mt) = 
19     "netstring.cmxa netmappings_iso.cmx netmappings_other.cmx 
20      netstring_mt.cmx"
21
22 archive(byte,netstring_only_iso) = 
23     "netstring.cma netmappings_iso.cmo"
24 archive(byte,toploop,netstring_only_iso) = 
25     "netstring.cma netmappings_iso.cmo
26      netstring_top.cmo"
27 archive(byte,mt,netstring_only_iso) = 
28     "netstring.cma netmappings_iso.cmo
29      netstring_mt.cmo"
30 archive(byte,mt,toploop,netstring_only_iso) = 
31     "netstring.cma netmappings_iso.cmo
32      netstring_mt.cmo netstring_top.cmo"
33 archive(native,netstring_only_iso) = 
34     "netstring.cmxa netmappings_iso.cmx"
35 archive(native,mt,netstring_only_iso) = 
36     "netstring.cmxa netmappings_iso.cmx 
37      netstring_mt.cmx"
38
39 archive(byte,netstring_minimum) = 
40     "netstring.cma"
41 archive(byte,toploop,netstring_minimum) = 
42     "netstring.cma 
43      netstring_top.cmo"
44 archive(byte,mt,netstring_minimum) = 
45     "netstring.cma 
46      netstring_mt.cmo"
47 archive(byte,mt,toploop,netstring_minimum) = 
48     "netstring.cma 
49      netstring_mt.cmo netstring_top.cmo"
50 archive(native,netstring_minimum) = 
51     "netstring.cmxa"
52 archive(native,mt,netstring_minimum) = 
53     "netstring.cmxa 
54      netstring_mt.cmx"