diff options
Diffstat (limited to 'Build/source/libs/gmp/gmptest.c')
-rw-r--r-- | Build/source/libs/gmp/gmptest.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/source/libs/gmp/gmptest.c b/Build/source/libs/gmp/gmptest.c new file mode 100644 index 00000000000..a0f3afe6c29 --- /dev/null +++ b/Build/source/libs/gmp/gmptest.c @@ -0,0 +1,16 @@ +/* gmptst.c: Basic test for libgmp + * + * Copyright (C) 2014 Peter Breitenlohner <tex-live@tug.org> + * You may freely use, modify and/or distribute this file. + */ + +#include <stdio.h> +#include <gmp.h> + +int main (int argc, char **argv) +{ + printf ("%s: Compiled with gmp version %d.%d.%d; using %s\n", + argv[0], __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL, + gmp_version); + return 0; +} |