diff options
Diffstat (limited to 'mk/flavours/devel1.mk')
| -rw-r--r-- | mk/flavours/devel1.mk | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/mk/flavours/devel1.mk b/mk/flavours/devel1.mk new file mode 100644 index 0000000000..b06b64f72d --- /dev/null +++ b/mk/flavours/devel1.mk @@ -0,0 +1,12 @@ +SRC_HC_OPTS = -O -H64m +GhcStage1HcOpts = -O0 -DDEBUG +GhcStage2HcOpts = -O +GhcLibHcOpts = -O -dcore-lint +BUILD_PROF_LIBS = NO +SplitObjs = NO +HADDOCK_DOCS = NO +BUILD_DOCBOOK_HTML = NO +BUILD_DOCBOOK_PS = NO +BUILD_DOCBOOK_PDF = NO + +LAX_DEPENDENCIES = YES |