Or what I did was to pin weberizer to my local working copy of the head branch of weberizer. Opam is amazing!<br><br><div class="gmail_quote">On Wed, Dec 19, 2012 at 11:43 AM, Maxence Guesdon <span dir="ltr"><<a href="mailto:maxence.guesdon@inria.fr" target="_blank">maxence.guesdon@inria.fr</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Wed, 19 Dec 2012 11:41:39 -0500<br>
Ashish Agarwal <<a href="mailto:agarwal1975@gmail.com">agarwal1975@gmail.com</a>> wrote:<br>
<br>
> On Wed, Dec 19, 2012 at 10:03 AM, Maxence Guesdon <<a href="mailto:maxence.guesdon@inria.fr">maxence.guesdon@inria.fr</a>><br>
><br>
><br>
> I have some time today. I installed a 4.00.1 version of ocaml with<br>
> > opam, i.e. not system, so that there is no conflict with my system<br>
> > installation and "make" in <a href="http://ocaml.org" target="_blank">ocaml.org</a> worked just fine.<br>
> ><br>
><br>
> Glad to hear that but actually I'm surprised. Did you install weberizer<br>
> from opam too? I just realized that the opam version of weberizer needs to<br>
> be updated.<br>
<br>
</div>ah, you're right, I also had to change weberizer to weberizer_compile<br>
in Makefile.<br>
<div class="im HOEnZb"><br>
> Christophe, would it be possible to do another weberizer release and update<br>
> the opam-repository. Thanks. The <a href="http://ocaml.org" target="_blank">ocaml.org</a> repo uses the new executable<br>
> name "weberizer", but weberizer 0.7.1 doesn't have that change in it.<br>
<br>
</div><span class="HOEnZb"><font color="#888888">- m<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
ocamlweb-devel mailing list<br>
<a href="mailto:ocamlweb-devel@lists.forge.ocamlcore.org">ocamlweb-devel@lists.forge.ocamlcore.org</a><br>
<a href="https://lists.ocamlcore.org/cgi-bin/listinfo/ocamlweb-devel" target="_blank">https://lists.ocamlcore.org/cgi-bin/listinfo/ocamlweb-devel</a><br>
</div></div></blockquote></div><br>