From 5e1ce595a4d103a230ec84fe7dca34d1962bb870 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Thu, 2 Jun 2022 09:08:51 +0200 Subject: [PATCH 1/2] configure: add missing unknown platform This prevents unnecessary automatic failures on *BSD Signed-off-by: Marcello Seri --- eigen/configure/configure.ml | 2 ++ eigen_cpp/configure/configure.ml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/eigen/configure/configure.ml b/eigen/configure/configure.ml index 94bbb91..c5c2481 100644 --- a/eigen/configure/configure.ml +++ b/eigen/configure/configure.ml @@ -22,6 +22,8 @@ let detect_system_header = #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 index a8b6f67..3fd0840 100644 --- a/eigen_cpp/configure/configure.ml +++ b/eigen_cpp/configure/configure.ml @@ -22,6 +22,8 @@ let detect_system_header = #endif #elif WIN32 #define PLATFORM_NAME "windows" + #else + #define PLATFORM_NAME "unknown" #endif |} From 509b3ecaf4a34de9048a5a640e0e9e5524ddd506 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Thu, 2 Jun 2022 10:01:46 +0200 Subject: [PATCH 2/2] windows hack to fix ocaml compiler build Signed-off-by: Marcello Seri --- .github/workflows/workflow.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 6a2bb5a..9fc4e0c 100644 --- 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: