From a5938b0fd6dd5b619d5b44af5289d63f11cb1aa0 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 4 Aug 2020 13:17:33 +0800
Subject: [PATCH] default.nix: add ACPKI-enabled builds

---
 default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index fe465376..51a31cea 100644
--- a/default.nix
+++ b/default.nix
@@ -92,5 +92,8 @@ in
   (
     (build-zc706 { variant = "simple"; }) //
     (build-zc706 { variant = "nist_clock"; }) //
-    (build-zc706 { variant = "nist_qc2"; })
+    (build-zc706 { variant = "nist_qc2"; }) //
+    (build-zc706 { variant = "acpki_simple"; }) //
+    (build-zc706 { variant = "acpki_nist_clock"; }) //
+    (build-zc706 { variant = "acpki_nist_qc2"; })
   )