Merge pull request #40 from mseri/0.3.0-backports

configure: add missing unknown platform
owlbarn · Jun 2, 2022 · a5e067c · a5e067c
2 parents 56e7605 + 509b3ec
commit a5e067c
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -25,6 +25,11 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v2
 
+      - name: Hack Git CRLF for ocaml/setup-ocaml issue #529
+        if: ${{ startsWith(matrix.os, 'windows-') }}
+        run: |
+          & "C:\Program Files\Git\bin\git.exe" config --system core.autocrlf input
+
       - name: Use OCaml ${{ matrix.ocaml-version }}
         uses: avsm/setup-ocaml@v2
         with:

diff --git a/eigen/configure/configure.ml b/eigen/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_os =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}
 

diff --git a/eigen_cpp/configure/configure.ml b/eigen_cpp/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_os =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}
-Original file line number
+Diff line change
@@ Expand Up / @@ -22,6 +22,8 @@ let detect_system_os = @@
         #endif
       #elif WIN32
         #define PLATFORM_NAME "windows"
+      #else
+        #define PLATFORM_NAME "unknown"
       #endif
     |}
@@ Expand Down @@