rems-project / cn-tutorial

8 stars 8 forks source link

Skip testing solutions if CN is not installed #13

Closed thatplguy closed 6 months ago

thatplguy commented 6 months ago

Running make without CN installed fails before building the tutorial.

This doesn't matter if we host the tutorial elsewhere, but we've been pointing new users to this repo to see the tutorial. The tutorial contains instructions on how to install CN, so installing CN shouldn't be a prerequisite to building the tutorial.

With this change, make skips testing the example solutions if CN is not installed.