]> matita.cs.unibo.it Git - helm.git/commitdiff
Now use cm{,x}a
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Nov 2002 11:36:36 +0000 (11:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Nov 2002 11:36:36 +0000 (11:36 +0000)
helm/DEVEL/ocaml-http/.cvsignore [new file with mode: 0644]
helm/DEVEL/ocaml-http/META.in
helm/DEVEL/ocaml-http/Makefile
helm/DEVEL/ocaml-http/examples/Makefile

diff --git a/helm/DEVEL/ocaml-http/.cvsignore b/helm/DEVEL/ocaml-http/.cvsignore
new file mode 100644 (file)
index 0000000..fd405f9
--- /dev/null
@@ -0,0 +1,4 @@
+*.cmi
+*.cmo
+*.cmx
+*.cma
index 5471c4f10cdb363a7724df564c6408873dde3a1d..fbabc0973060a36d4d747d3c97b1b3dc29f3ace0 100644 (file)
@@ -1,5 +1,5 @@
 description = "OCaml HTTP daemon library"
 version = "@DISTVERSION@"
 requires = "unix,pcre,netstring"
-archive(byte) = "http.cmo"
-archive(native) = "http.cmx"
+archive(byte) = "http.cma"
+archive(native) = "http.cmxa"
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 \
index b050bddb31c63f6fa1550566789355d42c70ec72..51e5e2f3b89a9f28b6d46e3ee4f0393e79ea2dee 100644 (file)
@@ -1,6 +1,6 @@
 include ../Makefile.defs
-OBJS = ../http.cmo
-OBJS_OPT = ../http.cmx
+OBJS = ../http.cma
+OBJS_OPT = ../http.cmxa
 EXAMPLES_OPTS = -I .. -linkpkg
 
 EXAMPLES = always_ok_daemon webfsd obj_foo dump_args timeout