Include `mir-json` in Docker images

GaloisInc / saw-script

The SAW scripting language.

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

442 stars 63 forks source link

Include `mir-json` in Docker images #2067

Open RyanGlScott opened 4 months ago

RyanGlScott commented 4 months ago

Now that SAW has a Rust/MIR backend, it would be nice to include mir-json in the saw and saw-remote-api Docker images so that users can compile Rust programs using the the mir-json tools. (See also https://github.com/GaloisInc/mir-json/issues/71.)