Remove the default value for the integer-simple flag.
Using a default seems to require users to explicitly override the flag if they
want to enable it. Leaving it off allows Cabal to automatically figure out the
proper value of the flag, which is handy, especially when text is at the bottom
of a long dependency chain.
commit35b1a2059476a09523c29c830ca7c223f1de8c2c
authorAdam Wick <awick@galois.com>
dateWed 22 Oct 2014, 13:00 (12 years ago)
parent426d237
text.cabal−1
@@ -71,7 +71,6 @@ flag developer
7171
7272flag integer-simple
7373 description: Use the simple integer library instead of GMP
74− default: False
7574
7675library
7776 c-sources: cbits/cbits.c