From 838930ef5983c0e19bd9e12ddb5b12cf5b367c8e Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Fri, 30 Sep 2022 09:15:08 +0200
Subject: [PATCH] Fix line ending issues with generated code on Windows

---
 template-coq/update_plugin.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/template-coq/update_plugin.sh b/template-coq/update_plugin.sh
index 9b3d2a5fd..1842cfdeb 100755
--- 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