Use a more standard way of setting the default goal

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

This works even if default_goal (or .DEFAULT_GOAL) is a file that exists, and even if test is not PHONY

samuelgruetter commented 11 months ago

I never stop learning Makefile, didn't know about .DEFAULT_GOAL before :sweat_smile: