Thanks for the updates! I can compile now, but still get the following errors in top-level:<div><br></div><div><div># #use &quot;topfind&quot;;;</div><div>- : unit = ()</div><div>... some output ...</div><div><br></div><div>

# #require &quot;core&quot;;;<br></div><div>... several libraries loaded ...</div><div><div>/Users/ashish/godi/lib/ocaml/site-lib/core/core.cma: loaded</div><div>Cannot load required shared library dllcore_stubs.</div><div>

Reason: /Users/ashish/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so: Symbol not found: _uerror</div><div>&nbsp;&nbsp;Referenced from: /Users/ashish/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so</div><div>&nbsp;&nbsp;Expected in: flat namespace</div>

<div>.</div><div>#</div><div><br></div><div>The above is on Mac OS X. I get a slightly different error on a Linux machine:</div><div><div>Cannot load required shared library dllcore_stubs.</div><div>Reason: /home1/aa544/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so: /home1/aa544/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so: undefined symbol: setsockopt_int.</div>

</div><div><br></div><div><br></div></div><br><div class="gmail_quote">On Sun, May 4, 2008 at 10:22 PM, Markus Mottl &lt;<a href="mailto:markus.mottl@gmail.com" target="_blank">markus.mottl@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>2008/5/3 Ashish Agarwal &lt;<a href="mailto:agarwal1975@gmail.com" target="_blank">agarwal1975@gmail.com</a>&gt;:<br>
</div><div>&gt; When doing &quot;make&quot;, I get the error below. I think I have sexplib installed<br>
&gt; correctly (through godi), and have tried on both Mac OS and Linux. Anyone<br>
&gt; else get this error?<br>
<br>
</div>Just update the sexplib package in Godi. &nbsp;The new version should work fine now.<br>
<div><div></div><div><br>
Regards,<br>
Markus<br>
<br>
--<br>
Markus Mottl <a href="http://www.ocaml.info" target="_blank">http://www.ocaml.info</a> <a href="mailto:markus.mottl@gmail.com" target="_blank">markus.mottl@gmail.com</a><br>
</div></div></blockquote></div><br></div>