From b9870eefc0792d6a22e3af9035bb3b3b97864c3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Tue, 23 May 2017 22:12:27 +0200 Subject: [PATCH] Debug mode in _tags.in --- compiler/_tags.in | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/_tags.in b/compiler/_tags.in index 9277dd1..6f853a5 100644 --- a/compiler/_tags.in +++ b/compiler/_tags.in @@ -3,10 +3,10 @@ : camlp4of, package(camlp4) true: use_menhir -<**/*.{byte,native}>: package(unix), package(str) -<**/heptc.{byte,native}>: package(menhirLib), package(ocamlgraph) -
: package(lablgtk2), thread +<**/*.{byte,native,[dp].byte,[dp].native}>: package(unix), package(str) +<**/heptc.{byte,native,[dp].byte,[dp].native}>: package(menhirLib), package(ocamlgraph) +
: package(lablgtk2), thread "heptagon/parsing/hept_parser.mli": package(menhirLib) -<**/*.ml*> or <**/{heptc,ctrl2ept}.{byte,native}>: @package_reatk_ctrlNbac@ +<**/*.ml*> or <**/{heptc,ctrl2ept}.{byte,native,[dp].byte,[dp].native}>: @package_reatk_ctrlNbac@ "minils/main/mls_compiler.ml" or "main/mls2seq.ml": pp(camlp4o pa_macro.cmo @ctrln_pp@)