aeneas
aeneas copied to clipboard
Get rid of the Makefiles
trafficstars
The Makefiles are getting bloated in particular when it comes to the test generation, and are probably not the best way of managing a project like Aeneas today. It would probably better to have scripts or use dune/cargo (if we add a Rust executable) for everything.