From mboxrd@z Thu Jan 1 00:00:00 1970 From: julia.lawall@lip6.fr (Julia Lawall) Date: Tue, 13 Oct 2015 22:58:27 +0200 (CEST) Subject: [Cocci] Compiling latest coccinelle with opensuse In-Reply-To: References: Message-ID: To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr I doubt it will help much, but you can get rid of the need to link with menhirLib by removing the option --table in parsing_cocci/Makefile. You will end up with a .ml file of over 100 000 lines, which may cause other problems for the ocaml compiler. julia