From eba39ad3c15b7a0c4ac368f8a7785a63480c564b Mon Sep 17 00:00:00 2001
From: Thomas Winant <thomas@well-typed.com>
Date: Wed, 19 Feb 2020 09:58:41 +0100
Subject: [PATCH] Build the CDDL test, as CI depends on it

If we disable it now without having a nightly job to run it, it will bitrot
for sure.

You can still disable the test locally by disabling the `cddl` flag in your
`cabal.project.local`.
---
 cabal.project | 2 +-
 stack.yaml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/cabal.project b/cabal.project
index aed8772da65..959d334feaf 100644
--- a/cabal.project
+++ b/cabal.project
@@ -50,7 +50,7 @@ package mux
 
 package ouroboros-network
   tests: True
-  flags: +asserts -cddl
+  flags: +asserts +cddl
 
 package ouroboros-consensus
   tests: True
diff --git a/stack.yaml b/stack.yaml
index f990b27cc30..a910f40eb25 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -25,7 +25,7 @@ flags:
     asserts: true
   ouroboros-network:
     asserts: true
-    cddl: false
+    cddl: true
   ouroboros-consensus:
     asserts: true
   ouroboros-consensus-byron: