]> matita.cs.unibo.it Git - helm.git/commitdiff
link also zack's helpers
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 13:23:49 +0000 (13:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 13:23:49 +0000 (13:23 +0000)
helm/http_getter/Makefile

index db6f7cb2cf080e03a275d93950556854b600badd..be5ff627fdd80c2e205ba513a3241e350661dba8 100644 (file)
@@ -22,9 +22,9 @@ OCAMLDOC =    \
                $(shell $(OCAMLFIND) query -i-format threads)   \
                $(shell $(OCAMLFIND) query -i-format zip)
 MODULES =      \
-       http_getter_debugger threadSafe                                                 \
-       http_getter_types http_getter_misc http_getter_const    \
-       http_getter_env http_getter_common http_getter_map              \
+       http_getter_debugger threadSafe                                                         \
+       http_getter_types zack http_getter_misc http_getter_const       \
+       http_getter_env http_getter_common http_getter_map                      \
        http_getter_cache
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))