progs/VSUpile/Makefile
Closed this issue · 0 comments
andrew-appel commented
The makefile progs/VSUpile/Makefile insists on an obsolete way of linking to VST. That means it doesn't build easily in an opam install or Coq-Platform install of VST and CompCert.