Alexander McLin
fcd6c3f127
Issue 3223: Second phase of migration to Rust Edition
...
Reformat via `cargo fmt`
2026-06-16 21:05:12 -04:00
Skgland
bb5a59170a
cleanup after msrv bump
2026-06-05 20:44:38 +02:00
Skgland
ac18aed5a7
use BTree{Map,Set} to ensure a stable order based on the key/entry even if filesystem enumeration order changes
...
this should help with reproducibility
2026-05-14 01:02:19 +02:00
Skgland
348c5029b3
reduce msrv back to 1.85
2025-08-18 20:52:15 +02:00
Francis Fortier
cef45de74a
build: resolve include_str path during the compilation of libraries.rs instead of during he build.rs execution to support different build tools (bazel in this case)
2024-12-05 09:10:52 -05:00
Bennet Bleßmann
6b50ec328c
move the creation of the LIBRARIES IndexMap out of the generated file
...
- only leave the filling of the map in the generated code
2024-07-25 18:53:36 +02:00
Bennet Bleßmann
e7fd408548
use include_str! for the build in libraries
...
instead of "copy-paste-ing" the prolog source into rust string literals in the generated files
2024-07-23 00:01:29 +02:00
Bennet Bleßmann
1d66f91a41
replace ref_thread_local::ref_thread_local! with std::thread_local!
...
removes `ref_thread_local` which was still at 0.0.0 released October 2018 while latest 0.1.1 was released mid November 2021
fixes libraries.rs UB
2024-07-06 17:18:26 +02:00
Bennet Bleßmann
d2d451b182
adjust the generation of the LIBRARIES map
...
pre-genrate constants instaed of driectly genrating the literal for the insert
2024-07-06 03:53:22 +02:00
infogulch
9444e62df9
Resolve lints and format
2023-11-04 02:16:54 -05:00
Skgland
232b66cfc3
adjust error message on failed formatting
2022-06-03 23:50:17 +02:00
Skgland
11ba7e47fd
make rustfmt optional
...
- when rustfmt is not detected (by attempting to run ``rustfmt --version)
no formatting will be attempted
- this should resolve issue mthom/scryer-prolog#1504
2022-06-03 23:35:55 +02:00
William Kral
f2e49c84cc
Improve rustfmt missing error during build ( #1379 )
2022-03-31 11:57:17 -07:00
Mark Thom
d06b5f7ab5
prepare for publishing to crates.io ( #1335 )
2022-03-15 00:07:42 -06:00
