PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

coq-vst-iris OPAM package #634

Closed mansky1 closed 1 year ago

mansky1 commented 1 year ago

It's frustratingly easy to cause an infinite makefile loop by accidentally using one of the variables that calls util/calc_install_files at the top level of the makefile. Especially when your editor automatically converts tabs to spaces...