From dd5a31930ef5ae6c8de8ff8bf5bb32e3946a7ea5 Mon Sep 17 00:00:00 2001
From: Stan Hu <stanhu@gmail.com>
Date: Thu, 27 Jul 2023 21:39:37 -0700
Subject: [PATCH] Add a script to build all gems

This makes it easy to build all gems locally by running
`scripts/build-gems`.
---
 scripts/build-gems | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100755 scripts/build-gems

diff --git a/scripts/build-gems b/scripts/build-gems
new file mode 100755
index 0000000..1e8d2b1
--- /dev/null
+++ b/scripts/build-gems
@@ -0,0 +1,30 @@
+#! /usr/bin/env bash
+#
+#  script to build gems for all relevant platforms
+#
+set -o errexit
+set -o nounset
+set -x
+
+rm -rf tmp pkg gems
+mkdir -p gems
+
+# prelude: let's check that things work
+bundle update
+
+bundle exec rake clean clobber
+bundle exec rake compile
+bundle exec rake spec
+
+# MRI et al (standard gem)
+bundle exec rake clean clobber
+bundle exec rake gem
+cp -v pkg/re2*.gem gems
+
+# precompiled native gems ("fat binary")
+bundle exec rake gem:native
+cp -v pkg/re2*.gem gems
+
+pushd gems
+  ls *.gem | sort | xargs sha256sum
+popd