Skip to content

Commit

Permalink
[Template merge] Wrap lemma extraction in for loop to ensure we actua…
Browse files Browse the repository at this point in the history
…lly get all lemmas
  • Loading branch information
snomos committed Feb 29, 2024
1 parent fe5d53c commit 301bc9e
Showing 1 changed file with 6 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,13 @@ checked_lemmas=checked_lemmas.txt
##### Extract lemmas - add additional egrep pattern as parameters: #####
##### --include "(pattern1|pattern2|...)" #####
##### --exclude "(pattern1|pattern2|...)" #####
@GTCORE@/scripts/extract-lemmas.sh \
rm -f $lemmas
touch $lemmas
for f in $source_files; do
@GTCORE@/scripts/extract-lemmas.sh \
--exclude "(CmpN/Only|ShCmp|\+Cmp\/SplitR| Rreal | R | Rnoun |\+V\+|NOT-TO-LEMMATEST)" \
$source_files > $lemmas
$f >> $lemmas
done

####### Start testing: #######

Expand Down

0 comments on commit 301bc9e

Please sign in to comment.