From 4067baad3d3233936aec8e9592bf2be5d5f50da3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Mon, 27 Jan 2020 13:42:49 +0100 Subject: [PATCH] Makefile.menhir: specify menhirLib.cmxa on the command line instead of menhirLib.cmx. --- Makefile.menhir | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.menhir b/Makefile.menhir index 98bfc750e9..be50b9e6e2 100644 --- a/Makefile.menhir +++ b/Makefile.menhir @@ -41,7 +41,7 @@ MENHIR_FLAGS = -v --no-stdlib -la 1 # Using Menhir in --table mode requires MenhirLib. ifeq ($(MENHIR_TABLE),true) - MENHIR_LIBS = menhirLib.cmx + MENHIR_LIBS = menhirLib.cmxa else MENHIR_LIBS = endif