Have coqdep use DEPFLAGS not COQFLAGS

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

425 stars 91 forks source link

Have coqdep use DEPFLAGS not COQFLAGS #726

Closed proux01 closed 9 months ago

proux01 commented 9 months ago

Overlay for https://github.com/coq/coq/pull/18039

SkySkimmer commented 9 months ago

This should be merged before https://github.com/coq/coq/pull/18039 right? AFAICT it's backwards compatible. or rather I don't know where depflags comes from since coq/coq#18039 doesn't mention it.

proux01 commented 9 months ago

Exactly (the goal is to make COQEXTRAFLAGS work but I messed up my previous PR: https://github.com/PrincetonUniversity/VST/pull/725 )

proux01 commented 9 months ago

Thanks!