Exporting makefile
@@ -2,6 +2,15 @@ use std::{env, process::Command};
#[test]
fn run_coq_backend() {
+ let mut cmd = Command::new("coq_makefile");
+ cmd.args(&["-f","_CoqProject"]);
+ cmd.args(&["-o","makefile"]);
+ cmd.current_dir("./tests/coq/");
+ cmd.envs(env::vars());
+ let status = cmd.status();
+ let status = status.expect("Error creating coq makefile");
+ assert!(status.success());
+
let mut cmd = Command::new("make");
cmd.current_dir("./tests/coq/");
cmd.envs(env::vars());
