Don't build rtest by default
rtest is the only binary that is built for the host and has additional dependencies: mpfr and mpc. To avoid build issues only build it if the randomized tests are run. New build target is introduced for randomized testing, so make check works without rtest. Tests are no longer copied to the build directory and the runtest.sh tool is removed as it is not very useful.
Loading
Please register or sign in to comment