Include Cryptol binary in release tarballs

Closes #1412
GaloisInc · Oct 6, 2021 · 76bd172 · 76bd172
1 parent 83d2f45
commit 76bd172
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -45,6 +45,7 @@ setup_dist_bins() {
     extract_exe "saw-remote-api" "dist/bin"
   fi
   extract_exe "saw" "dist/bin"
+  extract_exe "cryptol" "dist/bin" "deps/cryptol/dist-newstyle"
   export PATH=$PWD/dist/bin:$PATH
   echo "$PWD/dist/bin" >> "$GITHUB_PATH"
   strip dist/bin/saw* || echo "Strip failed: Ignoring harmless error"

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -108,6 +108,9 @@ jobs:
             saw/SAWScript/Version.hs
           rm -f saw/SAWScript/Version.hs.bak
 
+      - shell: bash
+        run: .github/ci.sh build_cryptol
+
       - shell: bash
         run: .github/ci.sh build