summaryrefslogtreecommitdiff
path: root/hadrian/doc/flavours.md
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-07-26 16:49:36 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-10-08 05:11:03 -0400
commit9a2798e139e3d20183b59bb5a66012db495c66c7 (patch)
treed8a73d82f2bed67d3fdb5bb8bea26fe827a160af /hadrian/doc/flavours.md
parent77ca39e305fe794f6e53d98254e342ad10b86cea (diff)
downloadhaskell-9a2798e139e3d20183b59bb5a66012db495c66c7.tar.gz
hadrian: Add `validate` and `slow validate` flavours
Diffstat (limited to 'hadrian/doc/flavours.md')
-rw-r--r--hadrian/doc/flavours.md22
1 files changed, 22 insertions, 0 deletions
diff --git a/hadrian/doc/flavours.md b/hadrian/doc/flavours.md
index 689c3f1742..26d5115e61 100644
--- a/hadrian/doc/flavours.md
+++ b/hadrian/doc/flavours.md
@@ -120,6 +120,28 @@ when compiling the `compiler` library, and `hsGhc` when compiling/linking the GH
<td></td>
<td>-O0<br>-DDEBUG</td>
</tr>
+ <tr>
+ <th>validate</td>
+ <td>-O0<br>-H64m</td>
+ <td>-fllvm-fill-undef-with-garbage</td>
+ <td></td>
+ <td>-O<br>-dcore-lint<br>-dno-debug-output</td>
+ <td>-O2<br>-DDEBUG</td>
+ <td>-O<br>-dcore-lint<br>-dno-debug-output</td>
+ <td>-O</td>
+ <td>-O</td>
+ </tr>
+ <tr>
+ <th>validate</td>
+ <td>-O0<br>-H64m</td>
+ <td>-fllvm-fill-undef-with-garbage</td>
+ <td></td>
+ <td>-O<br>-dcore-lint<br>-dno-debug-output</td>
+ <td>-O2<br>-DDEBUG</td>
+ <td>-O<br>-DDEBUG<br>-dcore-lint<br>-dno-debug-output</td>
+ <td>-O</td>
+ <td>-O</td>
+ </tr>
</table>
### LLVM variants