]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
added http_getter_debugger
[helm.git] / helm / http_getter / Makefile
index c8247273d2290164e6154d497d68bf354be46804..1c727bff26c5449bd333d0729abee26a01c14861 100644 (file)
@@ -7,7 +7,7 @@ OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
 MODULES =      \
-       threadSafe      \
+       http_getter_debugger threadSafe                                                 \
        http_getter_types http_getter_misc http_getter_env              \
        http_getter_const http_getter_common http_getter_map    \
        http_getter_cache