<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body text="#000000" bgcolor="#ffffff">
    Hello,<br>
    <br>
    I am teaching Lisp for a weak in Vietnam. One of my students could
    not<br>
    start Slime although he had the same environment (Ubuntu, Emacs23,
    SBCL)<br>
    as his other colleagues. He has installed SBCL and Slime using
    "apt-get".<br>
    <br>
    All the things I usually try usually in the .emacs file did not work
    so I am turning to you for<br>
    help.<br>
    <br>
    Below the trace of the loading of Slime.<br>
    I thank you in advance,<br>
    Irène Durand<br>
    <br>
    Le 09/12/11 08:37, Thien Sy a écrit :
    <blockquote type="cite">
      <div style="color: rgb(0, 0, 0); background-color: rgb(255, 255,
        255); font-family: times new roman,new york,times,serif;
        font-size: 12pt;">
        <div><span>
            <div>(progn (load
              "/usr/share/common-lisp/source/slime/swank-loader.lisp"
              :verbose t) (funcall (read-from-string
              "swank-loader:init")) (funcall (read-from-string
              "swank:start-server") "/tmp/slime.3613" :coding-system
              "iso-latin-1-unix"))</div>
            <div><br>
            </div>
            <div>This is SBCL 1.0.50.0.debian, an implementation of ANSI
              Common Lisp.</div>
            <div>More information about SBCL is available at
              <a class="moz-txt-link-rfc2396E" href="http://www.sbcl.org/"><http://www.sbcl.org/></a>.</div>
            <div><br>
            </div>
            <div>SBCL is free software, provided as is, with absolutely
              no warranty.</div>
            <div>It is mostly in the public domain; some portions are
              provided under</div>
            <div>BSD-style licenses.  See the CREDITS and COPYING files
              in the</div>
            <div>distribution for more information.</div>
            <div>* </div>
            <div>; loading
              #P"/usr/share/common-lisp/source/slime/swank-loader.lisp"</div>
            <div><br>
            </div>
            <div>debugger invoked on a SB-C::INPUT-ERROR-IN-COMPILE-FILE
              in thread #<THREAD</div>
            <div>                                                       
                          "initial thread" RUNNING</div>
            <div><br>
            </div>
            <div>                                                       
                          {AA65749}>:</div>
            <div>  READ failure in COMPILE-FILE:</div>
            <div>    SB-INT:SIMPLE-READER-PACKAGE-ERROR at 5611 (line
              143, column 52) on #<SB-SYS:FD-STREAM</div>
            <div>                                                       
                                for "file
              /usr/share/common-lisp/source/slime/swank-loader.lisp"</div>
            <div>                                                       
                                {AA713D1}>:</div>
            <div>      package "ASDF" not found</div>
            <div><br>
            </div>
            <div>Type HELP for debugger help, or (SB-EXT:QUIT) to exit
              from SBCL.</div>
            <div><br>
            </div>
            <div>restarts (invokable by number or by
              possibly-abbreviated name):</div>
            <div>  0: [ABORT] Abort loading file
              "/usr/share/common-lisp/source/slime/swank-loader.lisp".</div>
            <div>  1:         Exit debugger, returning to top level.</div>
            <div><br>
            </div>
            <div>(SB-C::READ-FOR-COMPILE-FILE</div>
            <div> #<SB-SYS:FD-STREAM</div>
            <div>   for "file
              /usr/share/common-lisp/source/slime/swank-loader.lisp"
              {AA713D1}></div>
            <div> 5230)</div>
            <div>0] </div>
          </span></div>
        <div style="font-family: 'times new roman','new
          york',times,serif; font-size: 12pt;"> </div>
        <div style="font-family: 'times new roman','new
          york',times,serif; font-size: 12pt;">Duong Thien Sy</div>
        <div style="font-family: 'times new roman','new
          york',times,serif; font-size: 12pt;">LINF09</div>
        <br>
        <div style="font-size: 12pt; font-family: 'times new roman','new
          york',times,serif;"> </div>
      </div>
    </blockquote>
    <br>
  </body>
</html>