From 2c1717e99f07e5b2c97bb9c0a5f02b5ebdcc2e49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Fri, 11 Dec 2015 17:00:29 +0100 Subject: [PATCH] Removal of -custom option for compilation -custom option trigger bugs with opam --- compiler/_tags.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/_tags.in b/compiler/_tags.in index 658dc00..9277dd1 100644 --- a/compiler/_tags.in +++ b/compiler/_tags.in @@ -3,7 +3,7 @@ : camlp4of, package(camlp4) true: use_menhir -<**/*.{byte,native}>: package(unix), package(str), debug, custom +<**/*.{byte,native}>: package(unix), package(str) <**/heptc.{byte,native}>: package(menhirLib), package(ocamlgraph)
: package(lablgtk2), thread "heptagon/parsing/hept_parser.mli": package(menhirLib)