diff options
Diffstat (limited to 'src/engine/gnump/info.txt')
| -rw-r--r-- | src/engine/gnump/info.txt | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt index 0805c1ba8..9566bded2 100644 --- a/src/engine/gnump/info.txt +++ b/src/engine/gnump/info.txt @@ -6,8 +6,15 @@ load_on request all -> gmp </libs> -<add> +<header:public> eng_gmp.h +</header:public> + +<header:internal> +gmp_wrap.h +</header:internal> + +<source> gmp_dh.cpp gmp_dsa.cpp gmp_elg.cpp @@ -16,8 +23,7 @@ gmp_mem.cpp gmp_nr.cpp gmp_powm.cpp gmp_wrap.cpp -gmp_wrap.h -</add> +</source> <requires> bigint |