Remove the C primitives for unsigned long long arithmetic, replaced

by pure OCaml code.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2153 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 9 deletions

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 08b9b13..22709d7 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -4,15 +4,6 @@ dispatch begin function
     (* declare the tags "use_Cparser" and "include_Cparser" *)
     ocaml_lib "cparser/Cparser";
 
-    (* force linking of libCparser.a when use_Cparser is set *)
-    flag ["link"; "ocaml"; "native"; "use_Cparser"]
-         (S[A"cparser/libCparser.a"]);
-    flag ["link"; "ocaml"; "byte"; "use_Cparser"]
-         (S[A"-custom"; A"cparser/libCparser.a"]);
-
-    (* make sure libCparser.a is up to date *)
-    dep  ["link"; "ocaml"; "use_Cparser"] ["cparser/libCparser.a"];
-
     (* libraries and syntax extensions accessed via ocamlfind *)
     flag ["ocaml"; "link"; "pkg_unix"] & S[A"-package"; A "unix"];
     flag ["ocaml"; "link"; "pkg_str"] & S[A"-package"; A "str"];