PVS
PVS copied to clipboard
Mention autoconf.
Configure file is missing to begin with; as is customary you should run autoconf to make it.
Although this may be obvious to some people it is not obvious to everyone, so IMO worth mentioning.