coq-elpi icon indicating copy to clipboard operation
coq-elpi copied to clipboard

Published 20 hours ago • verified publisher icon LPCIC

Build system inconsistency

Open jwintz opened this issue 2 years ago • 2 comments

Trying to update the master branch, I can't get the branch to build.

https://github.com/LPCIC/coq-elpi/blob/89c534330cfd225f695ad7e0731abf1477b973bd/Makefile#L114

Looks like Makefile.coq.conf is missing.

jwintz avatar Jul 09 '22 12:07 jwintz

Hum, that is weird since coq_makefile should have generated both Makefile.coq and Makefile.coq.conf. Can you start from a fresh checkout?

gares avatar Jul 09 '22 12:07 gares

https://github.com/LPCIC/coq-elpi/blob/89c534330cfd225f695ad7e0731abf1477b973bd/Makefile#L93

gares avatar Jul 09 '22 12:07 gares