From 6c7cedb4c8ec1a6038d52dcee517167ee2b6a8ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois@bobot.eu> Date: Tue, 9 Apr 2013 09:38:37 +0200 Subject: [PATCH] [Makefile] fix make -j (dimacs.mll) --- Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 425a9cf9fc..602aba32eb 100644 --- a/Makefile.in +++ b/Makefile.in @@ -257,7 +257,8 @@ install-all: install install-lib ################## PLUGGENERATED = plugins/tptp/tptp_lexer.ml \ - plugins/tptp/tptp_parser.ml plugins/tptp/tptp_parser.mli + plugins/tptp/tptp_parser.ml plugins/tptp/tptp_parser.mli \ + plugins/parser/dimacs.ml \ PLUG_PARSER = genequlin dimacs PLUG_PRINTER = -- GitLab