diff options
Diffstat (limited to 'src/engine/gnump/info.txt')
| -rw-r--r-- | src/engine/gnump/info.txt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt new file mode 100644 index 000000000..e65e411fd --- /dev/null +++ b/src/engine/gnump/info.txt @@ -0,0 +1,18 @@ +realname "GMP Engine" + +define ENGINE_GNU_MP + +load_on request + +<add> +eng_gmp.cpp +gmp_wrap.cpp +gmp_mem.cpp +gmp_powm.cpp +eng_gmp.h +gmp_wrap.h +</add> + +<libs> +all -> gmp +</libs> |