From a368e05d963bf708fecadd00a56e7e2a030b7b8a Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Wed, 6 Oct 2021 14:22:50 -0700
Subject: [PATCH] Include cryptol-specs in binary tarballs

Closes #695
---
 .github/ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/ci.sh b/.github/ci.sh
index d60a4396cc..3f7b474c4c 100755
--- a/.github/ci.sh
+++ b/.github/ci.sh
@@ -91,11 +91,12 @@ build_cryptol() {
 }
 
 bundle_files() {
-  mkdir -p dist dist/{bin,doc,examples,include,lib}
+  mkdir -p dist dist/{bin,deps,doc,examples,include,lib}
 
   cp LICENSE README.md dist/
   $IS_WIN || chmod +x dist/bin/*
 
+  (cd deps/cryptol-specs && git archive --prefix=cryptol-specs/ --format=tar HEAD) | (cd dist/deps && tar x)
   cp doc/extcore.md dist/doc
   cp doc/tutorial/sawScriptTutorial.pdf dist/doc/tutorial.pdf
   cp doc/manual/manual.pdf dist/doc/manual.pdf