Fixed in CVS.<br><br><div class="gmail_quote">On Sat, Dec 31, 2011 at 4:02 PM, Sylvain Ageneau <span dir="ltr"><<a href="mailto:ageneau@gmail.com">ageneau@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hello,<br>
<br>
I'm seeing the following problem when compiling the latest trunk<br>
(15d1c6dfdf74b171bc79477d1d0105cde8297219):<br>
<br>
./configure --with-cmp=no --disable-shared<br>
make<br>
<br>
...<br>
<br>
;;; Note:<br>
;;;   Invoking external command:<br>
;;;   ar cr libdefsystem.a eclinitltqmNi.o ext/defsystem.o<br>
;;; Note:<br>
;;;   Invoking external command:<br>
;;;   ranlib libdefsystem.a<br>
;;; Compiling #<concatenated stream 0000000003d9d640>In form<br>
'("MK")<br>
Wrong number of arguments passed to function CLOS:NEED-TO-MAKE-LOAD-FORM-P.<br>
NIL<br>
Available restarts:<br>
<br>
1. (CONTINUE) Return from BREAK.<br>
<br>
Regards,<br>
Sylvain<br>
<br>
<br>
------------------------------------------------------------------------------<br>
Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex<br>
infrastructure or vast IT resources to deliver seamless, secure access to<br>
virtual desktops. With this all-in-one solution, easily deploy virtual<br>
desktops for less than the cost of PCs and save 60% on VDI infrastructure<br>
costs. Try it free! <a href="http://p.sf.net/sfu/Citrix-VDIinabox" target="_blank">http://p.sf.net/sfu/Citrix-VDIinabox</a><br>
_______________________________________________<br>
Ecls-list mailing list<br>
<a href="mailto:Ecls-list@lists.sourceforge.net">Ecls-list@lists.sourceforge.net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/ecls-list" target="_blank">https://lists.sourceforge.net/lists/listinfo/ecls-list</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>