diff options
| author | lloyd <[email protected]> | 2009-07-15 15:31:08 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2009-07-15 15:31:08 +0000 |
| commit | 1172c616fa849af893c1935b8b1dee085f8aaac8 (patch) | |
| tree | 48a5308fb8d40fbea9216f7007678543d7a59a4e /src/engine/gnump | |
| parent | 6fd01228840942ad122d1adabb3f7971a4e3b244 (diff) | |
Add a script that reads the output of print_deps.py and rewrites
the info.txt files with the right module dependencies.
Apply it across the codebase.
Diffstat (limited to 'src/engine/gnump')
| -rw-r--r-- | src/engine/gnump/info.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt index 84c286bc8..67a9bcd70 100644 --- a/src/engine/gnump/info.txt +++ b/src/engine/gnump/info.txt @@ -20,3 +20,7 @@ gmp_powm.cpp gmp_wrap.cpp gmp_wrap.h </add> + +<requires> +bigint +</requires> |