From 1a7b93078eb531a6e9e5d4dc02bec143605c2264 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 6 Mar 2023 16:05:43 +0100
Subject: Include `+unix` and `+str` for OCaml 5 compatibility

In OCaml 5, the Unix and Str libraries are installed in subdirectories
of the standard library directory.

In OCaml 4, the `-I +str` and `-I +unix` options have no effect.
---
 Makefile.extr | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile.extr b/Makefile.extr
index 6035eb9a..7d020c8b 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -64,7 +64,9 @@ else
 WARN_ERRORS=
 endif
 
-COMPFLAGS+=-g -strict-sequence -safe-string $(INCLUDES) -I "$(MENHIR_DIR)" $(WARNINGS) $(WARN_ERRORS)
+COMPFLAGS+=-g -strict-sequence -safe-string \
+  $(INCLUDES) -I "$(MENHIR_DIR)" -I +str -I +unix \
+  $(WARNINGS) $(WARN_ERRORS)
 
 # Using .opt compilers if available
 
-- 
cgit