]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
- moved version setting to Http_getter_const
[helm.git] / helm / http_getter / Makefile
index 1c727bff26c5449bd333d0729abee26a01c14861..6482ba0bf167ffdde1178a8382417842c560972a 100644 (file)
@@ -8,8 +8,8 @@ OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
 MODULES =      \
        http_getter_debugger threadSafe                                                 \
-       http_getter_types http_getter_misc http_getter_env              \
-       http_getter_const http_getter_common http_getter_map    \
+       http_getter_types http_getter_misc http_getter_const    \
+       http_getter_env http_getter_common http_getter_map              \
        http_getter_cache
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))