rewrite cargo make tests to avoid run same test multiple times

Makefile.toml

@@ -3,7 +3,6 @@ CARGO_MAKE_EXTEND_WORKSPACE_MAKEFILE = true
 CORE = { script = ["grep ^cpu\\scores /proc/cpuinfo | uniq |  awk '{print $4}'"] }
 RAYON_NUM_THREADS = "${CORE}"
 CUR_TARGET = { script = [
-        # Command to check if the variable is not set, then assign output of the bash command
         '''
         if [ -z "${TARGET}" ]; then
             TARGET=$(rustc -vV | grep "host" | awk '{print $2}')
@@ -13,8 +12,21 @@ CUR_TARGET = { script = [
         fi
         '''
 ]}
+TASK_RUN = { script = [
+        '''
+        exclude_projects="singer_pro ceno_rt"
+
+        # Check if CARGO_MAKE_CRATE_NAME is in the exclude_projects string
+        if echo "$exclude_projects" | grep -q -w "${CARGO_MAKE_CRATE_NAME}"; then
+            echo "false"
+        else
+            echo "true"
+        fi
+        '''
+]}
 
 [tasks.tests]
+condition = { env_true = ["TASK_RUN"] }
 command = "cargo"
 args = ["test-all-features", "--lib", "--release", "--target", "${CUR_TARGET}", "-p", "${CARGO_MAKE_CRATE_NAME}"]
 

mpcs/Cargo.toml

@@ -34,6 +34,8 @@ transcript = { path = "../transcript" }
 plonky2 = "0.2.0"
 
 [dev-dependencies]
+simple-frontend = { path = "../simple-frontend" }
+gkr = { path = "../gkr" }
 criterion = { version = "0.5", features = ["html_reports"] }
 
 [features]