diff options
Diffstat (limited to 'src/lib/engine/gnump/info.txt')
| -rw-r--r-- | src/lib/engine/gnump/info.txt | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/lib/engine/gnump/info.txt b/src/lib/engine/gnump/info.txt new file mode 100644 index 000000000..ad03339e4 --- /dev/null +++ b/src/lib/engine/gnump/info.txt @@ -0,0 +1,23 @@ +define ENGINE_GNU_MP 20131128 + +load_on request + +<libs> +all -> gmp +</libs> + +<header:internal> +gnump_engine.h +gmp_wrap.h +</header:internal> + +<source> +gmp_mem.cpp +gmp_powm.cpp +gmp_wrap.cpp +gnump_pk.cpp +</source> + +<requires> +bigint +</requires> |