Custom Query (1030 matches)

I am trying to build acl2 on ccl.

the following seems to look for a file instead of eval-ing the form as the -e switch should do..

export CCL_DEFAULT_DIRECTORY="/Applications/ClozureCL.app/Contents/Resources/ccl/" exec "/Applications/ClozureCL.app/Contents/MacOS/dx86cl64" -I "/Users/sms/acl2/v6-4/acl2-sources/saved_acl2.dx86cl64" -Z 64M -K ISO-8859-1 -e "(acl2::acl2-default-restart)" "$@"

this gives an error message that the file "acl2acl2-default-restart" is not found.

Any pointers would be appreciated. Scott

Read-char-no-hang is supposed to return NIL if there is no more input available from the stream. But it hangs in the following particular example, when it's trying to read from the output stream of an external program, and that stream is still open but there's nothing on it:

? (defparameter *cat-process*
    (run-program "cat" nil
               :input :stream
               :output :stream
               :wait nil))
*CAT-PROCESS*
? (write-line "hi" (external-process-input-stream *cat-process*))
"hi"
? (finish-output (external-process-input-stream *cat-process*))
NIL
? (read-char-no-hang (external-process-output-stream *cat-process*))
#\h
? (read-char-no-hang (external-process-output-stream *cat-process*))
#\i
? (read-char-no-hang (external-process-output-stream *cat-process*))
#\Newline
? (read-char-no-hang (external-process-output-stream *cat-process*))
;; (hangs)

Another strange thing about the same situation is that LISTEN on that stream returns T even when there's no more to be read.

c_gethostbyname on Linux is implemented using #_gethostbyname_r. But gethostbyname_r is very strange and it fails to resolve local defined hosts in /etc/hosts and it's also obsolete according to the man page. So I rewrote it using #_getaddrinfo. It seems to work, but when I replace old c_gethostbyname with it, CCL fails on rebuilding complaining about ffi-type. I'm not quite understand mechanisms of CCL's FFI and don't know how to handle this.

So I attach my version of c_gethostbyname, maybe someone could adapt it.