feat: make proof-of-sql-parser no_std

spaceandtimelabs · Sep 24, 2024 · 8e9da17 · 8e9da17
1 parent 067d7c9
commit 8e9da17
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 3 deletions.
diff --git a/.github/workflows/lint-and-test.yml b/.github/workflows/lint-and-test.yml
@@ -49,6 +49,10 @@ jobs:
         run: cargo check -p proof-of-sql --no-default-features --features="test"
       - name: Run cargo check (proof-of-sql) (just "blitzar" feature)
         run: cargo check -p proof-of-sql --no-default-features --features="blitzar"
+      - name: Install no_std target
+        run: rustup target add thumbv7em-none-eabi
+      - name: Run cargo check (proof-of-sql-parser) with no_std target
+        run: cargo check -p proof-of-sql-parser --target thumbv7em-none-eabi
 
   test:
     name: Test Suite

diff --git a/Cargo.toml b/Cargo.toml
@@ -38,8 +38,8 @@ flexbuffers = { version = "2.0.0" }
 # forge-script = { git = "https://github.com/foundry-rs/foundry", tag = "nightly-bf1a39980532f76cd76fd87ee32661180f606435" }
 indexmap = { version = "2.1" }
 itertools = { version = "0.13.0" }
-lalrpop = { version = "0.21.0" }
-lalrpop-util = { version = "0.20.0", default-features = false }
+lalrpop = { git = "https://github.com/lalrpop/lalrpop", rev = "9e0ccd64aab70e166614b34be932cc58c407945c" }
+lalrpop-util = { git = "https://github.com/lalrpop/lalrpop", rev = "9e0ccd64aab70e166614b34be932cc58c407945c", default-features = false }
 lazy_static = { version = "1.4.0" }
 merlin = { version = "2" }
 num-traits = { version = "0.2" }
@@ -54,7 +54,7 @@ rand_core = { version = "0.6", default-features = false }
 rayon = { version = "1.5" }
 serde = { version = "1", default-features = false }
 serde_json = { version = "1" }
-thiserror = { version = "1", default-features = false }
+thiserror = { git = "https://github.com/dtolnay/thiserror", rev = "44737a516b7fd0cc9dabcab07e7b1f927f8f5636", default-features = false }
 tiny-keccak = { version = "2.0.2", features = [ "keccak" ] }
 # tokio = { version = "1.39.3" }
 tracing = { version = "0.1.36" }

diff --git a/crates/proof-of-sql-parser/src/lib.rs b/crates/proof-of-sql-parser/src/lib.rs
@@ -1,4 +1,5 @@
 #![doc = include_str!("../README.md")]
+#![no_std]
 extern crate alloc;
 
 /// Module for handling an intermediate decimal type received from the lexer.