From f5372736d7b781ec2653c78f465261c3098b8339 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 15 Mar 2023 15:15:21 +0100 Subject: [PATCH 1/2] fix for windows --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 6e87fe9..1d5833d 100755 --- a/configure +++ b/configure @@ -161,7 +161,7 @@ checklib() rm -f tmp.ml tmp.out echo "" > tmp.ml r=1 - $ocamlc -custom -ccopt "$ccopt $ldflags $cclib" tmp.ml -cclib -l$1 -o tmp.out >/dev/null 2>/dev/null || r=0 + $ocamlc -custom -ccopt "$ldflags $cclib" tmp.ml -cclib -l$1 -o tmp.out >/dev/null 2>/dev/null || r=0 if test ! -x tmp.out; then r=0; fi rm -f tmp.out tmp.ml tmp.cmi tmp.cmo if test $r -eq 0; then echo "not found"; else echo "found"; fi From 5f9eb08bdde7422b4ff5f2da758b14a6b61e369e Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 28 Jun 2023 15:40:26 +0200 Subject: [PATCH 2/2] fix --- .gitattributes | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitattributes b/.gitattributes index 3aa538a..8f48a14 100644 --- a/.gitattributes +++ b/.gitattributes @@ -2,3 +2,4 @@ * text=auto configure text eol=lf +config.guess text eol=lf