Updated install instructions & fixed Pluto include

kumasento / polymer

Bridging polyhedral analysis tools to the MLIR framework

MIT License

99 stars 20 forks source link

Closed kumasento closed 3 years ago

kumasento commented 3 years ago

This PR fixes the mismatched installation instructions in the README.md file, and changed how the Pluto makefiles include stuff.