fadbad_prefixon the cmake command line. The value of
fadbad_prefixmust be such that, for one of the directories
dirin cmake_install_includedirs ,
is a valid way to reference to the include file
fadbad_prefixon the cmake command line, you will be able to run the FADBAD speed correctness tests by executing the following commands starting in the distribution directory :
make check, you can run a specific FADBAD speed test by executing the command
./speed_fadbad; see speed_main for the meaning of the command line options to this program.