Merge pull request #765 from MSoegtropIMC/windows-line-endings

Fix line ending issues with generated code on Windows
MetaCoq · Sep 30, 2022 · 928677a · 928677a
2 parents 992c66e + 838930e
commit 928677a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/template-coq/update_plugin.sh b/template-coq/update_plugin.sh
@@ -12,6 +12,12 @@ then
     echo "Renaming files to camelCase"
     (cd gen-src; ./to-lower.sh)
     rm -f gen-src/*.d gen-src/*.cm*
+    echo "Prepare line endings for patching (for Windows)"
+    for f in gen-src/*.ml*
+    do
+      tr -d '\r' < "$f" > tmp
+      mv -f tmp $f
+    done
     # Fix an extraction bug: wrong type annotation on eq_equivalence
     patch -N -p0 < extraction.patch
     patch -N -p0 < specFloat.patch