Commit 6c7cedb4 authored by François Bobot's avatar François Bobot

[Makefile] fix make -j (dimacs.mll)

parent 940f797e
...@@ -257,7 +257,8 @@ install-all: install install-lib ...@@ -257,7 +257,8 @@ install-all: install install-lib
################## ##################
PLUGGENERATED = plugins/tptp/tptp_lexer.ml \ 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_PARSER = genequlin dimacs
PLUG_PRINTER = PLUG_PRINTER =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment