> > In src/paste/Makefile.in I find > > # -noihere works around race in session > $(addsuffix .pht, $(PHTS)): %.pht : $(THTDIR)/%.ht > (AXIOM=$(TAXDIR); LC_CTYPE=ISO-8859-1; export AXIOM LC_CTYPE; \ > unset DAASE; $(SMAN) -noihere -paste $<) > > # -noihere works around race in session > $(addsuffix .pht, $(GPHTS)): %.pht : $(THTDIR)/%.ht > (AXIOM=$(TAXDIR); export AXIOM; \ > unset DAASE; $(SMAN) -noihere -paste $<) > > Is there still any reason to have > > LC_CTYPE=ISO-8859-1; export AXIOM LC_CTYPE; > > on the PHTS, but not on the GPHTS? > > Maybe I am in the false believe that we only have 7bit characters currently.
In i-output.boot we have definitions of Unicode box characters. One would have to check if they are activated somewhere or not. > > Anyway, I would like to make that just *one* rule. > > Looks like this > https://groups.google.com/forum/?fromgroups=#!searchin/fricas-devel/lc_ctype/fricas-devel/8671otuYNxw/F6fmcsW8bKsJ > indicates that I should just try to remove it. In fact, I did without > setting LC_CTYPE in my build with the original compilation on the > NAGcdrom and there it compiled file (sbcl). > > Why did you say that the whole thing might depend on the underlying > lisp? Was it connected to the IBM special characters for matrix parentheses? I introduced the setting because some lisps throwed errors on non-ASCII codes. The exact behaviour depends on underlying Lisp, for example GCL tends to ignore errors. Without deeper investigation I can not say what is situation now. But certainly any change would require testing. In particular all supported Lisps and various locale settings during build. -- Waldek Hebisch [email protected] -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
