11.2Srilligmake: "directive-error.mk" line 11: message 21.2Srilligmake: parsing warnings being treated as errors 31.2Srillig 41.2Srilligmake: stopped in unit-tests 51.2Srilligexit status 1 6