Combine the Makefiles - Githubissues

gmalecha / template-coq

Reflection library for Coq

MIT License

12 stars 0 forks source link

Combine the Makefiles #13

Closed JasonGross closed 9 years ago

JasonGross commented 9 years ago

I think the coq_makefile install target doesn't install plugins if there are no .v files? I'm not really sure, but, previously, the install target of Makefile.plugin.coq didn't do anything, and now the install target installs the plugin files.

This should also be copied onto the 8.5 branch, probably, though I haven't checked that.

gmalecha commented 9 years ago

Have you tried this in 8.4? I thought that I tried something like this and for some reason coq_makefile was not building the plugin first.

JasonGross commented 9 years ago

Yes, it works fine for me in 8.4pl5, with make -j8.

gmalecha commented 9 years ago

Thanks, Jason!