summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfi/mpfitest.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfi/mpfitest.c')
-rw-r--r--Build/source/libs/mpfi/mpfitest.c26
1 files changed, 26 insertions, 0 deletions
diff --git a/Build/source/libs/mpfi/mpfitest.c b/Build/source/libs/mpfi/mpfitest.c
new file mode 100644
index 00000000000..d77cd793cc2
--- /dev/null
+++ b/Build/source/libs/mpfi/mpfitest.c
@@ -0,0 +1,26 @@
+/* mpfitst.c: Basic test for libmpfi
+ *
+ * Copyright (C) 2022-2024 Luigi Scarso <tex-live@tug.org>
+ * You may freely use, modify and/or distribute this file.
+ */
+
+/*
+#include <stdio.h>
+#include <gmp.h>
+#include <mpfr.h>
+
+int main (int argc, char **argv)
+{
+ printf ("%s: Compiled with mpfr version %s; using %s\n",
+ argv[0], MPFR_VERSION_STRING, mpfr_get_version());
+ 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;
+}
+*/
+
+int main (int argc, char **argv)
+{
+ return 0;
+}