diff options
author | Andreas Enge <andreas.enge@inria.fr> | 2020-06-30 16:08:05 +0200 |
---|---|---|
committer | Andreas Enge <andreas.enge@inria.fr> | 2020-06-30 16:11:21 +0200 |
commit | 83975da8b13b867dc5f741b9506799cd0529ef1b (patch) | |
tree | c19f8eb03621ba26e4a4e996bc79c3ad3e7d5499 /tools/mpcheck/README | |
parent | 5eee65ef075b7cbfd878c7d176988014d1d4f352 (diff) | |
download | mpc-git-83975da8b13b867dc5f741b9506799cd0529ef1b.tar.gz |
mpcheck: Move the tool from tests/ to its own subdirectory inside tools/.
* tests/mpcheck-*: Move to...
* tools/mpcheck/mpcheck-*: ...this.
* tests/Makefile.am: Drop all references to mpcheck.
* tools/mpcheck/Makefile.am, tools/mpcheck/README: New files.
* tools/Makefile.am: Reference the new subdirectory.
* configure.ac: Reference tools/mpcheck/Makefile.
* Makefile.am: Add a target "mpcheck".
* NEWS: Add an item.
* doc/version.texi: Spurious update.
Diffstat (limited to 'tools/mpcheck/README')
-rw-r--r-- | tools/mpcheck/README | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/mpcheck/README b/tools/mpcheck/README new file mode 100644 index 0000000..f35ff80 --- /dev/null +++ b/tools/mpcheck/README @@ -0,0 +1,3 @@ +The mpcheck tool provides tests to check the MPC library against the +C library. It is meant as a tool for developers. + |