@@ -30,6 +30,7 @@ executable text-tests
32 cpp-options:
32 cpp-options:
34 -DHAVE_DEEPSEQ
35 -DHAVE_DEEPSEQ
@@ -113,6 +114,7 @@ library
115 cpp-options:
116 cpp-options:
116 -DHAVE_DEEPSEQ
118 -DHAVE_DEEPSEQ
117 -DASSERTS
119 -DASSERTS
118 -DINTEGER_GMP
120 -DINTEGER_GMP