README-rpm.md

How to make an RPM binary package

Download a Mercury srcdist tarball into ~/rpmbuild/SOURCES (or similar), then run:

make_rpm ~/rpmbuild/SOURCES/mercury-srcdist-VERSION.tar.gz

You can customise the grades in mercury-compiler.spec.