/usr/share/doc/libmpfi-doc/examples/mpfi_version.c is in libmpfi-doc 1.5.1+ds-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | /* /usr/share/doc/libmpfi-doc/examples/mpfi_version.c */
/*
* Ad hoc source sample for illustrating the use of the library mpfi
*
* Build and launch:
* $ gcc -o mpfi_version mpfi_version.c -lmpfi -lmpfr -lgmp -lm
* $ ./mpfi_version
*
* Written for Debian by Jerome Benoit <calculus@rezozer.net> on behalf of the Debian Science Team
* Copyright: 2016 Jerome Benoit <calculus@rezozer.net>
* Distributed under the terms and conditions of GPL version 2 or later
*/
#include <stdio.h>
#include <string.h>
#include <mpfi.h>
int main(void) {
const char *adhoc_mpfi_lib_version=mpfi_get_version();
int status=0;
if (strcmp(MPFI_VERSION_STRING,adhoc_mpfi_lib_version)) {
fprintf(stderr,
"header and library version mismatch: " MPFI_VERSION_STRING " vs %s\n",
adhoc_mpfi_lib_version
);
status=1;
}
#if 1
else {
fprintf(stdout,
"header and library version match: " MPFI_VERSION_STRING "\n"
);
}
#endif
return (status); }
|