Martin Rubey <[EMAIL PROTECTED]> writes:
> > > 2 speed patch (see recent email with this subject) -- already tested

> > 2 -- as I wrote in the past I feel that we should not hardcode safety to 0.
> > If this patch is made into configure option, then it would be OK.
> 
> Could you help me there?  As I wrote, I think it would be best to have
> something like, for example
> 
> configure --with-speed
> 
> or 
> 
> configure --with-library-speed
> 
> But I do not know how configure and lisp can talk to each other.  Oh, yes, I
> see a possibility: configure could create a file settings.lisp that contains
> defconstants, like
> 
>   (defconstant library-optimization '((safety 0) (speed 3)))
> 
> or 
> 
>   (defconstant library-optimization '())
> 
> depending on the configure option.

I just saw that open-axiom uses sed to modify the sources.  What do you prefer?

Martin

edit = sed \
        -e 's|@[EMAIL PROTECTED]|$(open_axiom_installdir)|g' \
        -e 's|@[EMAIL PROTECTED]|$(axiom_optimize_options)|g' \
        -e 's|@[EMAIL PROTECTED]|$(host)|g' \
        -e 's|@[EMAIL PROTECTED]|$(build)|g' \
        -e 's|@[EMAIL PROTECTED]|$(target)|g' \
        -e 's|@[EMAIL PROTECTED]|$(SHREXT)|g' \
        -e 's|@[EMAIL PROTECTED]|$(LIBEXT)|g' \
        -e 's|@[EMAIL PROTECTED]|$(oa_c_runtime_extra)|g' \
        -e 's|@[EMAIL PROTECTED]|$(oa_standard_linking)|g' \
        -e 's|@[EMAIL PROTECTED]|$(void_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(char_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(int_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(float_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(double_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(string_type)|g' \
        -e 's|@[EMAIL PROTECTED]|$(pointer_type)|g'

core.lisp: $(srcdir)/core.lisp.in
        $(edit) $< > [EMAIL PROTECTED]
        $(top_srcdir)/config/move-if-change [EMAIL PROTECTED] $@


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to