Merge pull request #28 from SkyLabsAI/paolo/consistent-sort

dune.inc: pick consistent sort ordering and locale

Author: pgiarrusso-sl

rocq-brick-libstdcpp/proof/dune-gen.sh

@@ -28,7 +28,7 @@ echo "; DO NOT EDIT: Generated by \"$0${1+ $*}\""
 
 # Blacklist some files for arch_indep
 find . -name '*.[ch]pp' |
-sort |
+LC_ALL=C sort |
 while read i; do
   ./cpp2v-dune-gen.sh -s -- $i -- -std=c++20 -stdlib=libstdc++
 done

rocq-brick-libstdcpp/test/dune-gen.sh

@@ -28,7 +28,7 @@ echo "; DO NOT EDIT: Generated by \"$0${1+ $*}\""
 
 # Blacklist some files for arch_indep
 find . -name '*.[ch]pp' |
-sort |
+LC_ALL=C sort |
 while read i; do
   ./cpp2v-dune-gen.sh -s -- $i -- -std=c++20 -stdlib=libstdc++
 done