headers
Pedro Kröger | 1 Oct 2008 16:51
Picon

cross compile a lisp program with sbcl?


Hi,

Is it possible to cross-compile a lisp program with sbcl? I'd like to
run sbcl on linux but save an executable image to run on windows.

Pedro

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 1 comment |
headers
Nikodemus Siivola | 1 Oct 2008 19:22
Gravatar

Re: cross compile a lisp program with sbcl?

On Wed, Oct 1, 2008 at 5:51 PM, Pedro Kröger <kroger.lists <at> gmail.com> wrote:

> Is it possible to cross-compile a lisp program with sbcl? I'd like to
> run sbcl on linux but save an executable image to run on windows.

Practically speaking impossible, sorry.

Cheers,

 -- Nikodemus
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Sbcl-help mailing list
Sbcl-help <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-help
Permalink | Reply | 0 comments |
headers
David Creelman | 3 Oct 2008 10:24
Picon
Gravatar

Problem with a function called from a macro, called from a function...

Hi,
I've been having a problem with a utility that I'm writing (it generates
scripts for a small scripting language I use quite often)..

I've got a macro, with-indent

(defmacro with-indent(&rest args)
  (indent+)
  `(combine , <at> args (indent-)))

.. and then I've got the functions it calls (indent+/-, combine, outln and
others) below in the same file.

Then I have another macro, gen-block
(defmacro gen-block2 (block-type name &rest args)
  "This macro is general enough to create batches and scripts
   The caller can enclose commands inside these blocks to get correct 
   indenting."
  `(combine (gen-begin `,(if ,block-type ,block-type ""))
		       ;`,(if ,name ,name ""))
	    (with-indent , <at> args)
	    (gen-end `,(if ,block-type ,block-type ""))))

Then I have a function gen-drop which uses gen-block which in turn
uses with-indent,

(defun gen-drop (object-type object-name)
  "drop an object
   Important that the table name be quoted in upper case"
  (let* ((object-to-drop (string-upcase object-name))
(Continue reading)

Permalink | Reply | 1 comment |
headers
Gary King | 3 Oct 2008 14:33
Favicon
Gravatar

Re: Problem with a function called from a macro, called from a function...

Hi David,

> I've got a macro, with-indent
>
> (defmacro with-indent(&rest args)
>  (indent+)
>  `(combine , <at> args (indent-)))
>
> .. and then I've got the functions it calls (indent+/-, combine,  
> outln and
> others) below in the same file.

Two thoughts:

1. Generally speaking, the code generated by the macro expansion  
should do _all_ the work. In your with-indent macro, #'indent+ is  
called at macro-expansion time but then code it outputs won't call it.  
This may be fine in your case but I think that it would be idiomatic  
to write

(defmacro ...
   `(progn (indent+) ... (indent-)))

2. I think this is barking up the wrong tree, but just to rule out  
package problems, try adding package qualifiers to the symbols involved.

regards,
--
Gary Warren King, metabang.com
Cell: (413) 559 8738
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jerry James | 4 Oct 2008 19:24
Picon

How do I stop SBCL chatter?

I have put together a port of PVS [1] to SBCL.  One problem I haven't
figured out how to solve is how to make SBCL stop chattering while
developing an interactive proof.  I get lots of messages about
unreachable code being deleted, along with complaints about being
unable to open code various operations due to lack of type
information.  The end user doesn't want to see these.  I am invoking
SBCL with the option --noinform.  I don't want to use --noprint or
--disable-debugger, because PVS users are accustomed to having those
facilities available.  How do I stop just the unreachable code and
missing type information messages?  Thanks.

Footnotes:
[1] http://pvs.csl.sri.com/
--

-- 
Jerry James
http://loganjerry.googlepages.com/

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 4 comments |
headers
Juho Snellman | 4 Oct 2008 20:25
Picon
Picon
Favicon

Re: How do I stop SBCL chatter?

"Jerry James" <loganjerry <at> gmail.com> writes:
> I have put together a port of PVS [1] to SBCL.  One problem I haven't
> figured out how to solve is how to make SBCL stop chattering while
> developing an interactive proof.  I get lots of messages about
> unreachable code being deleted, along with complaints about being
> unable to open code various operations due to lack of type
> information.

http://www.sbcl.org/manual/Controlling-Verbosity.html

--

-- 
Juho Snellman

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 0 comments |
headers
Nikodemus Siivola | 4 Oct 2008 20:42
Gravatar

Re: How do I stop SBCL chatter?

On Sat, Oct 4, 2008 at 8:24 PM, Jerry James <loganjerry <at> gmail.com> wrote:

> facilities available.  How do I stop just the unreachable code and
> missing type information messages?  Thanks.

If there is a place in PVS where COMPILE is called with a generated
lambda, you could just wrap that like so:

 (handler-bind ((sb-ext:compiler-note #'muffle-warning))
   (compile ...))

Alternatively you can adjust the code that generates the lambdas to
lexically muffle the notes -- something like so:

 `(lambda ,lambda-list
    (declare (sb-ext:muffle-conditions sb-ext:compiler-note))
    ...)

Cheers,

 -- Nikodemus

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 1 comment |
headers
Matt Kaufmann | 4 Oct 2008 19:46
Picon

Re: How do I stop SBCL chatter?

Hi --

We've had similar issues with ACL2 (which, like PVS, is a theorem
proving system whose end users probably don't want to see comments
from the Lisp compiler).  Here is some relevant ACL2 code, which might
give you ideas.

#+(or cmu sbcl)
(setq *compile-verbose* nil)
#+(or cmu sbcl)
(setq *compile-print* nil)

(defmacro with-warnings-suppressed (&rest forms)

; Keep this in sync with the handler-bind call in init.lisp.  Thanks to Juho
; Snellman for the SBCL form.

; We are happy to turn off redefinition warnings because we trust that
; functions such as add-trip know what they are doing.  Without this code, for
; example, :oops can cause many screens of such warnings.

  #+sbcl
  `(handler-bind
    (#+ansi-cl
     (style-warning (lambda (c)
                      (declare (ignore c))
                      (invoke-restart 'muffle-warning))))
    , <at> forms)
  #+cmucl
  `(progn (setq ext:*gc-verbose* nil) , <at> forms)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jerry James | 5 Oct 2008 04:55
Picon

Re: How do I stop SBCL chatter?

On Sat, Oct 4, 2008 at 12:42 PM, Nikodemus Siivola
<nikodemus <at> random-state.net> wrote:
> If there is a place in PVS where COMPILE is called with a generated
> lambda, you could just wrap that like so:
>
>  (handler-bind ((sb-ext:compiler-note #'muffle-warning))
>   (compile ...))
>
> Alternatively you can adjust the code that generates the lambdas to
> lexically muffle the notes -- something like so:
>
>  `(lambda ,lambda-list
>    (declare (sb-ext:muffle-conditions sb-ext:compiler-note))
>    ...)

Thank you very much for the replies Matt, Juho, and Nikodemus.  This
is the most helpful -help list I've encountered in awhile.  Now to put
the SBCL version of PVS through the torture tests....
--

-- 
Jerry James
http://loganjerry.googlepages.com/

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 0 comments |
headers
Giovanni Gigante | 7 Oct 2008 15:47
Picon

newbie: how to upgrade sbcl


A real newbie question, but I can't find this point anywhere (maybe it's 
too stupid?), so I am asking here before doing something really wrong.

What is the recommended way to *upgrade* a SBCL from a previous version 
(on Linux). I mean, one which was manually installed via ./install.sh, 
without any fancy distro package system.
Of course I can "rm" the whole thing and reinstall from scratch, but I 
would lose the installed ASDFs.
Or can I just launch ./install.sh of the new release and safely 
overwrite the previous one?

Thanks,
Giovanni

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
Permalink | Reply | 1 comment |

Gmane