add path

starcoinorg · Dec 9, 2024 · a9189f1 · a9189f1
1 parent 48538e8
commit a9189f1
Showing 1 changed file with 20 additions and 2 deletions.
diff --git a/vm/framework/move-stdlib/src/lib.rs b/vm/framework/move-stdlib/src/lib.rs
@@ -19,7 +19,7 @@ pub static MOVE_STDLIB_SOURCE_FILES: Lazy<Vec<String>> = Lazy::new(|| {
         .extract(sources_dir.as_path())
         .expect("extract should success");
     info!("restore move-stdlib sources in: {:?}", sources_dir);
-    let files = MOVE_STDLIB_SOURCES_DIR
+    let files: Vec<String> = MOVE_STDLIB_SOURCES_DIR
         .files()
         .iter()
         .filter_map(|file| {
@@ -36,6 +36,15 @@ pub static MOVE_STDLIB_SOURCE_FILES: Lazy<Vec<String>> = Lazy::new(|| {
         })
         .collect();
     files
+        .iter()
+        .filter_map(|file| {
+            if !file.ends_with("spec.move") {
+                Some(file.clone())
+            } else {
+                None
+            }
+        })
+        .collect()
 });
 
 pub const STARCOIN_STDLIB_SOURCES_DIR: Dir = include_dir!("../starcoin-stdlib/sources");
@@ -48,7 +57,7 @@ pub static STARCOIN_STDLIB_SOURCE_FILES: Lazy<Vec<String>> = Lazy::new(|| {
         .extract(sources_dir.as_path())
         .expect("extract should success");
     info!("restore starcoin-stdlib sources in: {:?}", sources_dir);
-    let files = STARCOIN_STDLIB_SOURCES_DIR
+    let files: Vec<String> = STARCOIN_STDLIB_SOURCES_DIR
         .files()
         .iter()
         .filter_map(|file| {
@@ -65,6 +74,15 @@ pub static STARCOIN_STDLIB_SOURCE_FILES: Lazy<Vec<String>> = Lazy::new(|| {
         })
         .collect();
     files
+        .iter()
+        .filter_map(|file| {
+            if !file.ends_with("spec.move") {
+                Some(file.clone())
+            } else {
+                None
+            }
+        })
+        .collect()
 });
 
 pub mod natives;