diff options
| author | lloyd <[email protected]> | 2008-09-29 03:15:14 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2008-09-29 03:15:14 +0000 |
| commit | 7018d574904e3075f6fca92681e848aebe82b96d (patch) | |
| tree | b25c0332f033ecb1275bcd7b493e4af04990e3a5 /src/engine/gnump/info.txt | |
| parent | f0503ee51ee848762d5bd115a4b83b4d2d11d3c6 (diff) | |
Rename all modinfo.txt files to info.txt, since they are all (none) of
them modules now. In any case there is no distinction so info.txt seems
better.
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> |