Simplify the configuration of menhirLib

AbsInt · Jul 24, 2024 · 179d2a1 · 179d2a1
1 parent 1911ef7
commit 179d2a1
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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