From 454bf428efa6f581f94f817d9f044d6934af1a0f Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 29 Dec 2010 16:27:13 -0800 Subject: Remove LLVM rustboot backend. --- src/boot/driver/llvm/glue.ml | 39 --------------------------------------- 1 file changed, 39 deletions(-) delete mode 100644 src/boot/driver/llvm/glue.ml (limited to 'src/boot/driver') diff --git a/src/boot/driver/llvm/glue.ml b/src/boot/driver/llvm/glue.ml deleted file mode 100644 index c1dc2894..00000000 --- a/src/boot/driver/llvm/glue.ml +++ /dev/null @@ -1,39 +0,0 @@ -(* - * Glue for the LLVM backend. - *) - -let alt_argspecs sess = [ - ("-llvm", Arg.Unit (fun _ -> sess.Session.sess_alt_backend <- true), - "emit LLVM bitcode") -];; - -let alt_pipeline sess sem_cx crate = - let process processor = - processor sem_cx crate; - if sess.Session.sess_failed then exit 1 else () - in - Array.iter process - [| - Resolve.process_crate; - Simplify.process_crate; - Type.process_crate; - Typestate.process_crate; - Layer.process_crate; - Effect.process_crate; - Loop.process_crate; - Alias.process_crate; - Dead.process_crate; - Layout.process_crate - |]; - Llemit.trans_and_process_crate sess sem_cx crate -;; - -(* - * Local Variables: - * fill-column: 78; - * indent-tabs-mode: nil - * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; - * End: - *) - -- cgit v1.2.3