flake: Fix source filtering

The more complicated filter for `*.txt` did not work. Filtering by
extension directly is not as precise, but there are not many `*.txt`
files in this repository anyway, so the difference should be
neglegible.
This commit is contained in:
Lorenz Leutgeb 2025-10-17 12:47:45 +02:00
parent b3f23594db
commit 44efdc02f9
No known key found for this signature in database
1 changed files with 2 additions and 4 deletions

View File

@ -69,14 +69,12 @@
".md" # testing ".md" # testing
".adoc" # man pages ".adoc" # man pages
".json" # testing samples ".json" # testing samples
".txt" # might be included with `include_str!`
"rad-cob-multiset" # testing external COBs "rad-cob-multiset" # testing external COBs
] ]
|| ||
# Default filter from crane (allow .rs files) # Default filter from crane (allow .rs files)
(rustup.craneLib.filterCargoSources path type) (rustup.craneLib.filterCargoSources path type);
||
# *.txt files might be included with `include_str!`
(builtins.isList (builtins.match ''/?crates/(.*/.*\.txt)'' path));
src = lib.cleanSourceWith { src = lib.cleanSourceWith {
src = ./.; src = ./.;