From f652c02139bc471f6f317035709ee6285dad1b58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Mon, 9 May 2022 13:51:13 +0200
Subject: Merge yacc/Makefile into the root Makefile

---
 configure | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 7df26b8fb5..621f078ea9 100755
--- a/configure
+++ b/configure
@@ -817,6 +817,7 @@ fpic
 syslib
 outputobj
 outputexe
+ocamlyacc_wstr_module
 unix_or_win32
 systhread_support
 system
@@ -2896,6 +2897,7 @@ OCAML_VERSION_SHORT=5.0
 
 
 
+
 
 
 
@@ -12651,9 +12653,11 @@ esac
 
 case $host in #(
   *-*-mingw32|*-pc-windows) :
-    unix_or_win32="win32" ;; #(
+    unix_or_win32="win32"
+    ocamlyacc_wstr_module="yacc/wstr" ;; #(
   *) :
-    unix_or_win32="unix" ;;
+    unix_or_win32="unix"
+  ocamlyacc_wstr_module="" ;;
 esac
 case $host in #(
   *-*-cygwin*|*-*-mingw32|*-pc-windows) :
-- 
cgit v1.2.1