From 6f3e9cfb659a9ec7517312ba90a3d4c17fb03468 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 1 Jul 2020 09:55:07 +0200
Subject: [PATCH] [configure] add detection of dos2unix tool

---
 configure.in             | 3 +++
 share/Makefile.config.in | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/configure.in b/configure.in
index dfae5c776dd..85aedf77dbb 100644
--- a/configure.in
+++ b/configure.in
@@ -949,6 +949,9 @@ configure_library([LABLGTK],
 
 configure_tool([DOT],[dot],[dot not found: you should install GraphViz],no)
 
+configure_tool([UNIX2DOS],[unix2dos],
+               [unix2dos not found: you should install tofrodos],no)
+
 ########################
 # Plug-in dependencies #
 ########################
diff --git a/share/Makefile.config.in b/share/Makefile.config.in
index 5b485c09b90..653d91fad5e 100644
--- a/share/Makefile.config.in
+++ b/share/Makefile.config.in
@@ -138,6 +138,9 @@ HAS_DOT		?=@HAS_DOT@
 
 HEADACHE 	?= headache -c $(FRAMAC_SRC)/headers/headache_config.txt
 
+UNIX2DOS        ?= @UNIX2DOS@
+HAS_UNIX2DOS    ?= @HAS_UNIX2DOS@
+
 ###########################
 # Miscellaneous variables #
 ###########################
-- 
GitLab