@@ -65,17 +65,13 @@ flag developer
65
65
default : False
66
66
manual : True
67
67
68
+ flag embedded_double_conversion
69
+ description : embed the C++ double_conversion library
70
+ default : True
71
+
68
72
library
69
73
c-sources :
70
74
cbits/hs-double-conversion.cc
71
- double-conversion/src/bignum.cc
72
- double-conversion/src/bignum-dtoa.cc
73
- double-conversion/src/cached-powers.cc
74
- double-conversion/src/diy-fp.cc
75
- double-conversion/src/double-conversion.cc
76
- double-conversion/src/fast-dtoa.cc
77
- double-conversion/src/fixed-dtoa.cc
78
- double-conversion/src/strtod.cc
79
75
80
76
if os(windows)
81
77
if arch(x86_64)
@@ -88,8 +84,22 @@ library
88
84
else
89
85
extra-libraries : stdc++
90
86
87
+ if flag(embedded_double_conversion)
88
+ c-sources :
89
+ double-conversion/src/bignum.cc
90
+ double-conversion/src/bignum-dtoa.cc
91
+ double-conversion/src/cached-powers.cc
92
+ double-conversion/src/diy-fp.cc
93
+ double-conversion/src/double-conversion.cc
94
+ double-conversion/src/fast-dtoa.cc
95
+ double-conversion/src/fixed-dtoa.cc
96
+ double-conversion/src/strtod.cc
97
+ cc-options : -DEMBEDDED_DOUBLE_CONVERSION
98
+ include-dirs : double-conversion/src
99
+ else
100
+ extra-libraries : double-conversion
101
+
91
102
include-dirs :
92
- double-conversion/src
93
103
include
94
104
95
105
exposed-modules :
0 commit comments