What a Windows editor saves, and a standard user's Windows install (from dev 9d6f66456a3d)

- CRLF line endings are read as newlines on every system (the reader used
  to delete the pair, collapsing a Notepad++ file into one line on Linux
  and macOS); a leading UTF-8 byte-order mark is ignored; a UTF-16 or
  Windows-1252 source is refused with the encoding, the place and the
  remedy named. .gitattributes pins LF in every clone.
- Windows source install: the repository path must hold no space (GNU
  Make), accented letters are fine (every linker input is relative now);
  python.org's Python is selected ahead of an MSYS2 one that poppler pulls
  in; TeX Live goes to its Windows default C:\texlive\2026.
- The Python binding needs an ASCII installation path on Windows, and its
  suite says so there.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
ackandClaude Fable 5.1 committed 2026-09-26 16:17:59 +02:00
1 parent fc2e848e91
commit 715d939727
15 files changed
+236 -41

No files matched your search

+3 -3
View File
@@ -491,7 +491,7 @@ void Machine::read(const fs::path& pathname)
// :cpp libraries live next to the file that uses them).
m_state.add_search_dir(fs::absolute(pathname).parent_path().string());
m_state.open_frame("Machine state: " + pathname.string());
input(string_from_file(pathname.string()), pathname.generic_string());
input(klammertext_from_file(pathname.string()), pathname.generic_string());
m_sources.push_back(pathname);
}
@@ -552,7 +552,7 @@ void Machine::expand_read_katoms(
input_filename = fs::canonical(input_filename);
m_state.add_search_dir(input_filename.parent_path().string());
std::string text = trim_right(string_from_file(input_filename.string()));
std::string text = trim_right(klammertext_from_file(input_filename.string()));
katom_list ks = katomize_lines(line_split(text), input_filename.generic_string());
// ks =
process_katoms(
@@ -684,7 +684,7 @@ void Machine::load_klammerset_files(const Klammerset& klammerset, katom_iter ins
pathname = fs::canonical(pathname);
loaded_files.push_back(pathname.generic_string());
m_state.add_search_dir(pathname.parent_path().string());
std::string text = trim_right(string_from_file(pathname.string()));
std::string text = trim_right(klammertext_from_file(pathname.string()));
katom_list ks = katomize_lines(line_split(text), pathname.generic_string());
process_katoms(ks, pathname.generic_string());
loaded.insert(loaded.end(), ks.begin(), ks.end());