You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
is run without passing along IGNORECOMPCERTVERSION, and the result is an error message like
Makefile:131: *** COMPCERT VERSION MISMATCH: COMPCERT_VERSION=version=3.12 but /home/jgross/.local64/coq/coq-master/lib/coq/user-contrib/compcert/VERSION=version=3.14. Stop.
which isn't displayed due to >& /dev/null
The text was updated successfully, but these errors were encountered:
VST/Makefile
Line 671 in 2888663
invokes
util/calc_install_files
without settingIGNORECOMPCERTVERSON
, and the makefile contains noexport IGNORECOMPCERTVERSION
, soVST/util/calc_install_files
Line 5 in 2888663
IGNORECOMPCERTVERSION
, and the result is an error message likewhich isn't displayed due to
>& /dev/null
The text was updated successfully, but these errors were encountered: