extracted files PHONY in main Makefile

uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

BSD 2-Clause "Simplified" License

183 stars 19 forks source link

extracted files PHONY in main Makefile #33

Closed palmskog closed 7 years ago

palmskog commented 7 years ago

Yet another makefile quality-of-life fix. This allows re-extracting OCaml files automatically whenever any Coq files they depend on are changed.

palmskog commented 7 years ago

Adding the plus makes it possible to use the same "job server" in the submakefile when doing parallel compilation. The output from compilation without the pluses indicated that "-j1" was used instead of "-j3".

See here also: https://stackoverflow.com/questions/9147196/makefile-pass-jobs-param-to-sub-makefiles

dwoos commented 7 years ago

Wild. Looks good to me, then!