Remove broken and unused package singer-pro (#314)

Fixes #313 Commit 0a40721 from #89 broke `singer-pro`. At least judging by whether `cargo check` succeeds. It even has a commit about that [temporarily exclude singer-pro from default workspace members](5ec37ec). Please restore `singer-pro` from the git history, if/when you need it again. Also remove `singer/examples/add-v2-old-sc-bak.rs` which was broken by the same commit. The filename suggests it was kept around as a 'backup'? (Please, have some more faith in git's ability to keep history!)
scroll-tech · Oct 14, 2024 · 9692b85 · 9692b85
1 parent 7e0f194
commit 9692b85
Show file tree

Hide file tree

Showing 27 changed files with 0 additions and 3,514 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,6 @@ members = [
     "multilinear_extensions",
     "simple-frontend",
     "singer",
-    "singer-pro",
     "singer-utils",
     "sumcheck",
     "transcript",

diff --git a/Makefile.toml b/Makefile.toml
@@ -23,8 +23,6 @@ args = [
     "--workspace",
     "--exclude",
     "ceno_rt",
-    "--exclude",
-    "singer-pro",
 ]
 
 [tasks.fmt-all-check]

diff --git a/singer-pro/Cargo.toml b/singer-pro/Cargo.toml
diff --git a/singer-pro/examples/simple.rs b/singer-pro/examples/simple.rs