The following commit has been merged in the master branch:
commit 02d5a8e94be00d78bcadf5225ef20e336c60f9a7
Author: Stephane Glondu <st...@glondu.net>
Date: Wed Apr 11 14:01:45 2012 +0200
libeliom_client.a is always present
diff --git a/debian/libeliom-ocaml-dev.install.in
b/debian/libeliom-ocaml-dev.install.in
index 736a7fe..1f36380 100644
--- a/debian/libeliom-ocaml-dev.install.in
+++ b/debian/libeliom-ocaml-dev.install.in
@@ -1,5 +1,6 @@
@OCamlStdlibDir@/eliom/META
@OCamlStdlibDir@/eliom/client/eliom_client.js
+@OCamlStdlibDir@/eliom/client/libeliom_client.a
@OCamlStdlibDir@/eliom/server/*.mli
@OCamlStdlibDir@/eliom/server/*.cmi
@OCamlStdlibDir@/eliom/client/*.mli
@@ -11,4 +12,3 @@ DYN: @OCamlStdlibDir@/eliom/server/eliom.cmxa
DYN: @OCamlStdlibDir@/eliom/server/eliom.a
DYN: @OCamlStdlibDir@/eliom/server/eliom_duce.cmxa
DYN: @OCamlStdlibDir@/eliom/server/eliom_duce.a
-DYN: @OCamlStdlibDir@/eliom/client/libeliom_client.a
--
eliom packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
