Spent some time on this, the fix in BOOT compiler is not that obvious, because of the complexity of escape char at the end of line.
Shall we simply go with ".gitattributes"? - Qian On 3/4/21 6:30 PM, Qian Yun wrote:
The error message is: "The character whose number is 13 is not a Boot character" ASCII char number 13 is '\r', which is part of windows line ending. First, current BOOT compiler does not recognize this character. Shall we treat it properly? Second, how did this bug happen? It is said that on Windows, the "git for windows" will by default transform text file from linux line ending to windows line ending. So, apart from the above issue, shall we add file ".gitattributes" with: * text=auto eol=lf Or something else, see `man gitattributes`. - Qian
-- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/14e23247-d680-ab27-4262-7e0471189ac4%40gmail.com.
