From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 myocamlbuild.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'myocamlbuild.ml')

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 22709d7..ef28618 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -1,8 +1,7 @@
 open Ocamlbuild_plugin;;
 dispatch begin function
 | After_rules ->
-    (* declare the tags "use_Cparser" and "include_Cparser" *)
-    ocaml_lib "cparser/Cparser";
+    flag ["ocaml"; "parser"; "menhir"] (A("--explain"));
 
     (* libraries and syntax extensions accessed via ocamlfind *)
     flag ["ocaml"; "link"; "pkg_unix"] & S[A"-package"; A "unix"];
-- 
cgit v1.2.3