From 95aa03ed21ec1a6fc96d5864abe6ae0dd26f57a0 Mon Sep 17 00:00:00 2001 From: Nicolas Berthier Date: Wed, 28 Jan 2015 18:05:37 +0100 Subject: [PATCH] Interface for new incremental API of menhir parsers' relies on MenhirLib --- compiler/_tags.in | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/_tags.in b/compiler/_tags.in index 3a2e96f..658dc00 100644 --- a/compiler/_tags.in +++ b/compiler/_tags.in @@ -6,6 +6,7 @@ true: use_menhir <**/*.{byte,native}>: package(unix), package(str), debug, custom <**/heptc.{byte,native}>: package(menhirLib), package(ocamlgraph)
: package(lablgtk2), thread +"heptagon/parsing/hept_parser.mli": package(menhirLib) <**/*.ml*> or <**/{heptc,ctrl2ept}.{byte,native}>: @package_reatk_ctrlNbac@ "minils/main/mls_compiler.ml" or "main/mls2seq.ml": pp(camlp4o pa_macro.cmo @ctrln_pp@)