1 files changed, 26 insertions, 0 deletions
diff --git a/src/libstate/engine/gnump/info.txt b/src/libstate/engine/gnump/info.txt
new file mode 100644
index 000000000..33fa720f5
--- /dev/null
+++ b/src/libstate/engine/gnump/info.txt
@@ -0,0 +1,26 @@
+realname "GMP Engine"
+
+define ENGINE_GNU_MP
+
+load_on request
+
+<libs>
+all -> gmp
+</libs>
+
+<requires>
+libstate
+</requires>
+
+<add>
+eng_gmp.h
+gmp_dh.cpp
+gmp_dsa.cpp
+gmp_elg.cpp
+gmp_if.cpp
+gmp_mem.cpp
+gmp_nr.cpp
+gmp_powm.cpp
+gmp_wrap.cpp
+gmp_wrap.h
+</add>