]> 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 c8247273d2290164e6154d497d68bf354be46804..6482ba0bf167ffdde1178a8382417842c560972a 100644 (file)
@@ -7,9 +7,9 @@ OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
 MODULES =      \
-       threadSafe      \
-       http_getter_types http_getter_misc http_getter_env              \
-       http_getter_const http_getter_common http_getter_map    \
+       http_getter_debugger threadSafe                                                 \
+       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))