From 179d2a1d2079e0748d9630acb02dc95583518913 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 24 Jul 2024 11:08:25 +0200 Subject: [PATCH] Simplify the configuration of menhirLib --- Makefile.menhir | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/Makefile.menhir b/Makefile.menhir index 7687d3ed66..3b9ff0a9e8 100644 --- a/Makefile.menhir +++ b/Makefile.menhir @@ -42,11 +42,7 @@ MENHIR_FLAGS = -v --no-stdlib -la 1 # Using Menhir in --table mode requires MenhirLib. ifeq ($(MENHIR_TABLE),true) - ifeq ($(wildcard $(MENHIR_DIR)/menhirLib.cmxa),) - MENHIR_LIBS = menhirLib.cmx - else - MENHIR_LIBS = menhirLib.cmxa - endif + MENHIR_LIBS = menhirLib.cmxa else MENHIR_LIBS = endif