1 files changed, 12 insertions, 0 deletions
diff --git a/contrib/libgmp/mpz/configure.in b/contrib/libgmp/mpz/configure.in
new file mode 100644
index 0000000..ed84461
--- /dev/null
+++ b/contrib/libgmp/mpz/configure.in
@@ -0,0 +1,12 @@
+# This file is a shell script fragment that supplies the information
+# necessary for a configure script to process the program in
+# this directory.  For more information, look at ../configure.
+
+configdirs=tests
+srctrigger=add_ui.c
+srcname="GNU Multi-Precision library/mpz"
+
+# per-host:
+
+# per-target:
+