]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile
Now use cm{,x}a
[helm.git] / helm / DEVEL / ocaml-http / Makefile
index 473b6b8f2cff0cfa71991fe8c44af531df392d2a..950c72035b2ec9d547fb7c3a9ba7ce996b5c2ceb 100644 (file)
@@ -3,8 +3,8 @@ include Makefile.defs
 MODULES = common misc types request daemon response
 DESTDIR = $(shell $(OCAMLFIND) printconf stdlib) 
 
-all: http.cmo
-opt: http.cmx
+all: http.cma
+opt: http.cmxa
 world: all opt
 
 examples:
@@ -28,6 +28,10 @@ http.cmo: $(patsubst %,%.cmo,$(MODULES))
        ocamlc -pack -o $@ $^
 http.cmx: $(patsubst %,%.cmx,$(MODULES))
        ocamlopt -pack -o $@ $^
+http.cma: http.cmo
+       $(OCAMLC) -a -o $@ $<
+http.cmxa: http.cmx
+       $(OCAMLOPT) -a -o $@ $<
 
 meta: META
 META: META.in
@@ -35,7 +39,7 @@ META: META.in
 
 clean:
        $(MAKE) -C examples/ clean
-       -rm -f *.cm[ioax] *.o test{,.opt}
+       -rm -f *.cm[ioax] *.cmxa *.[ao] test{,.opt}
 distclean: clean
        $(MAKE) -C examples/ distclean
        -rm -f META
@@ -50,7 +54,8 @@ dist: distclean depend
        tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
        rm -rf $(DISTDIR)/
 install: META
-       $(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME) META *.mli http.*
+       $(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME)     \
+               META common.mli types.mli request.mli daemon.mli response.mli http.*
 
 .PHONY:        \
        all opt world examples examples.opt depend clean distclean dist \