nandi/frq · bab5e3c

nandi/frqpublic⑂ Fork 0

⑂ bab5e3c

Merge remote-tracking branch 'origin/main' into claude/section-unification-cd84a2

nandi committed 2026-08-30T18:45:39-07:00 Browse files

bab5e3c parents: 657e026 58e0f71

modified android/build-jolt-boot.sh +6 -1 Viewed

@@ -9,7 +9,12 @@ VIDYA="${VIDYA:-$(cd "$ROOT/../vidya" && pwd)}"
9	9	# has to be named here.
10	10	GLIMMER="${GLIMMER:-$HOME/.jolt/gitlibs/https___github.com_jolt-lang_glimmer/5581c331c51aff989259b9e8e92ec920fe5e6741/src}"
11	11	OUT="${1:?usage: build-jolt-boot.sh OUTPUT_DIRECTORY}"
12		-JOLT="${JOLT:-$(command -v jolt)}"
	12	+# The DotSlash-pinned jolt beside this script, not whatever is on PATH: an
	13	+# upstream jolt cannot open a TLS connection on Android — it reads the socket
	14	+# address out of `struct addrinfo` at glibc's offset, which is Bionic's
	15	+# `ai_canonname` — so a build made with one produces an APK that cannot sign in
	16	+# or send a picture. Override with JOLT= to use another.
	17	+JOLT="${JOLT:-$ROOT/scripts/jolt}"
13	18	MODULE="${MODULE:-frq.app}"
14	19	CHEZ_ANDROID="${CHEZ_ANDROID:-$HOME/.cache/vidya-chez-android}"
15	20	HOST_SCHEME="$CHEZ_ANDROID/ta6le/bin/ta6le/scheme"

  # has to be named here.
  GLIMMER="${GLIMMER:-$HOME/.jolt/gitlibs/https___github.com_jolt-lang_glimmer/5581c331c51aff989259b9e8e92ec920fe5e6741/src}"
  OUT="${1:?usage: build-jolt-boot.sh OUTPUT_DIRECTORY}"
--JOLT="${JOLT:-$(command -v jolt)}"
++# The DotSlash-pinned jolt beside this script, not whatever is on PATH: an
++# upstream jolt cannot open a TLS connection on Android — it reads the socket
++# address out of `struct addrinfo` at glibc's offset, which is Bionic's
++# `ai_canonname` — so a build made with one produces an APK that cannot sign in
++# or send a picture. Override with JOLT= to use another.
++JOLT="${JOLT:-$ROOT/scripts/jolt}"
  MODULE="${MODULE:-frq.app}"
  CHEZ_ANDROID="${CHEZ_ANDROID:-$HOME/.cache/vidya-chez-android}"
  HOST_SCHEME="$CHEZ_ANDROID/ta6le/bin/ta6le/scheme"

added scripts/jolt +28 -0 Viewed

new file mode 100755
@@ -0,0 +1,28 @@
	1	+#!/usr/bin/env dotslash
	2	+
	3	+// jolt with the Bionic `struct addrinfo` fix, from the fork at
	4	+// gitlab.com/nandithebull/jolt (commit 2b80d68d). Upstream's own release reads
	5	+// `ai_addr` at glibc's offset, which on Android is `ai_canonname` — a null
	6	+// pointer — so every TLS connect fails there and reports a refusal the network
	7	+// never made. Nothing else differs from v0.7.28.
	8	+//
	9	+// Linux x86_64 only: it is what the APK is built on. Other platforms fall back
	10	+// to whatever `jolt` is on PATH, which is upstream's, which is fine for
	11	+// everything but an Android build.
	12	+{
	13	+ "name": "jolt",
	14	+ "platforms": {
	15	+ "linux-x86_64": {
	16	+ "size": 15782379,
	17	+ "hash": "sha256",
	18	+ "digest": "aabb71f809aebd9d607b7a5036229f933c733ae90785cb29df899f116be9589f",
	19	+ "format": "tar.gz",
	20	+ "path": "jolt-v0.7.28-1-g2b80d68d-x86_64-linux/jolt",
	21	+ "providers": [
	22	+ {
	23	+ "url": "https://gitlab.com/nandithebull/jolt/-/releases/v0.7.28-android/downloads/jolt-v0.7.28-1-g2b80d68d-x86_64-linux.tar.gz"
	24	+ }
	25	+ ]
	26	+ }
	27	+ }
	28	+}

++#!/usr/bin/env dotslash
++
++// jolt with the Bionic `struct addrinfo` fix, from the fork at
++// gitlab.com/nandithebull/jolt (commit 2b80d68d). Upstream's own release reads
++// `ai_addr` at glibc's offset, which on Android is `ai_canonname` — a null
++// pointer — so every TLS connect fails there and reports a refusal the network
++// never made. Nothing else differs from v0.7.28.
++//
++// Linux x86_64 only: it is what the APK is built on. Other platforms fall back
++// to whatever `jolt` is on PATH, which is upstream's, which is fine for
++// everything but an Android build.
++{
++  "name": "jolt",
++  "platforms": {
++    "linux-x86_64": {
++      "size": 15782379,
++      "hash": "sha256",
++      "digest": "aabb71f809aebd9d607b7a5036229f933c733ae90785cb29df899f116be9589f",
++      "format": "tar.gz",
++      "path": "jolt-v0.7.28-1-g2b80d68d-x86_64-linux/jolt",
++      "providers": [
++        {
++          "url": "https://gitlab.com/nandithebull/jolt/-/releases/v0.7.28-android/downloads/jolt-v0.7.28-1-g2b80d68d-x86_64-linux.tar.gz"
++        }
++      ]
++    }
++  }
++}