diff options
| author | Jack Lloyd <[email protected]> | 2017-09-27 20:28:19 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-27 20:28:19 -0400 |
| commit | 9c8a5e5d8f9f2e0bc4607255dadcb1d44aa1b2b8 (patch) | |
| tree | b206bb37edbe745242c7e7471249af20ca656369 /src/lib/utils | |
| parent | c3b3d344b46099fff9c4d65556a45c973398a20f (diff) | |
Make poly_dbl.h a submodule of utils
Only required by a few modules and if none of them are in use
then the whole thing can just be skipped from the build.
Diffstat (limited to 'src/lib/utils')
| -rw-r--r-- | src/lib/utils/info.txt | 1 | ||||
| -rw-r--r-- | src/lib/utils/poly_dbl/info.txt | 7 | ||||
| -rw-r--r-- | src/lib/utils/poly_dbl/poly_dbl.cpp (renamed from src/lib/utils/poly_dbl.cpp) | 0 | ||||
| -rw-r--r-- | src/lib/utils/poly_dbl/poly_dbl.h (renamed from src/lib/utils/poly_dbl.h) | 0 |
4 files changed, 7 insertions, 1 deletions
diff --git a/src/lib/utils/info.txt b/src/lib/utils/info.txt index 644bff901..5a0ce469c 100644 --- a/src/lib/utils/info.txt +++ b/src/lib/utils/info.txt @@ -31,7 +31,6 @@ ct_utils.h donna128.h filesystem.h os_utils.h -poly_dbl.h prefetch.h rounding.h safeint.h diff --git a/src/lib/utils/poly_dbl/info.txt b/src/lib/utils/poly_dbl/info.txt new file mode 100644 index 000000000..5aae5b44f --- /dev/null +++ b/src/lib/utils/poly_dbl/info.txt @@ -0,0 +1,7 @@ +<defines> +POLY_DBL -> 20170927 +</defines> + +<header:internal> +poly_dbl.h +</header:internal> diff --git a/src/lib/utils/poly_dbl.cpp b/src/lib/utils/poly_dbl/poly_dbl.cpp index 2b989db57..2b989db57 100644 --- a/src/lib/utils/poly_dbl.cpp +++ b/src/lib/utils/poly_dbl/poly_dbl.cpp diff --git a/src/lib/utils/poly_dbl.h b/src/lib/utils/poly_dbl/poly_dbl.h index 10c85c567..10c85c567 100644 --- a/src/lib/utils/poly_dbl.h +++ b/src/lib/utils/poly_dbl/poly_dbl.h |