Restructure into separate binary and library.

diff --git a/Cargo.toml b/Cargo.toml
index 8963f7a6ab8d84d3f8664458d04c9f6270111bb7..9396477cd3ccf7022b633f1ed3d8496fae15ddd1 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -5,3 +5,7 @@ authors = ["Scott Olson <scott@solson.me>"]
 description = "An experimental interpreter for Rust MIR."
 repository = "https://github.com/tsion/miri"
 license = "ISC"
+
+[[bin]]
+name = "miri"
+doc = false

diff --git a/src/lib.rs b/src/lib.rs
new file mode 100644 (file)
index 0000000..da83e7d
--- /dev/null
+++ b/src/lib.rs
@@ -0,0 +1,7 @@
+#![feature(rustc_private)]
+
+extern crate rustc;
+extern crate rustc_mir;
+extern crate syntax;
+
+pub mod interpreter;

diff --git a/src/main.rs b/src/main.rs
index 808b43e9643fa892221a5db8ef155786566a4db2..7867526f26d429c11585f0d30ed226a5d022eed2 100644 (file)
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,12 +1,10 @@
 #![feature(rustc_private)]
 
+extern crate miri;
 extern crate rustc;
 extern crate rustc_driver;
-extern crate rustc_mir;
-extern crate syntax;
-
-mod interpreter;
 
+use miri::interpreter;
 use rustc::session::Session;
 use rustc_driver::{driver, CompilerCalls, Compilation};