SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

Mention autoconf. #79

Open maxvonhippel opened 4 years ago

maxvonhippel commented 4 years ago

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.