crucible-saw does not build and appears not to be used

[langston-barrett]

cabal build crucible-saw

Resolving dependencies...
Error: [Cabal-7107]
Could not resolve dependencies:
[__0] trying: crucible-0.7.1.0.99 (user goal)
[__1] trying: base-4.18.2.1/installed-4.18.2.1 (dependency of crucible)
[__2] next goal: crucible-saw (user goal)
[__2] rejecting: crucible-saw-0.1 (conflict: base==4.18.2.1/installed-4.18.2.1, crucible-saw => base>=4.7 && <4.15)
[__2] fail (backjumping, conflict set: base, crucible-saw)
After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, crucible, crucible-saw

It appears that saw-core-what4 used to depend on it, but no longer does.

It appears otherwise unused, except in very old and/or private repos: https://github.com/search?q=owner%3AGaloisInc%20%2Fcrucible-saw%2F&type=code

I'm inclined to remove it. We'll always have it in the git history!

[RyanGlScott]

I'm inclined to remove it.

I agree. Another reason for its existence in the past was as a dependency of crucible-server, but that has also been removed.