Build crux-mir-comp by default in build.sh.

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

442 stars 63 forks source link

Build crux-mir-comp by default in build.sh. #2061

Closed sauclovian-g closed 4 months ago

sauclovian-g commented 4 months ago

Build crux-mir-comp by default in build.sh. Closes #2060.

sauclovian-g commented 4 months ago

@RyanGlScott you're probably the only person who knows if there's some reason not to do this that I've missed... otherwise it should be open and shut I hope