Quotes on command!

wintersteiger · wintersteiger · commit f22c5cb3682a · 2025-06-11T18:36:29.000+01:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -13,9 +13,9 @@ patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]
 build: [
-  [ export "PATH=/usr/local/opt/llvm/bin:$PATH"] {os-distribution = "homebrew"}
-  [ export "LDFLAGS=-L/usr/local/opt/llvm/lib"] {os-distribution = "homebrew"}
-  [ export "CPPFLAGS=-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}
+  [ "export" "PATH=/usr/local/opt/llvm/bin:$PATH"] {os-distribution = "homebrew"}
+  [ "export" "LDFLAGS=-L/usr/local/opt/llvm/lib"] {os-distribution = "homebrew"}
+  [ "export" "CPPFLAGS=-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}
   [ "python3" "scripts/mk_make.py" "--ml" ]
   [ make "-C" "build" "-j" jobs ]
 ]

Original file line number	Diff line number	Diff line change
`@@ -13,9 +13,9 @@ patches: [`
`13`	`13`	`"gccstd-2a.patch" { (os-family = "opensuse" \| os-family = "suse") \| (os-distribution = "ubuntu" & os-version <= "20.04") }`
`14`	`14`	`]`
`15`	`15`	`build: [`
`16`		`- [ export "PATH=/usr/local/opt/llvm/bin:$PATH"] {os-distribution = "homebrew"}`
`17`		`- [ export "LDFLAGS=-L/usr/local/opt/llvm/lib"] {os-distribution = "homebrew"}`
`18`		`- [ export "CPPFLAGS=-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}`
	`16`	`+ [ "export" "PATH=/usr/local/opt/llvm/bin:$PATH"] {os-distribution = "homebrew"}`
	`17`	`+ [ "export" "LDFLAGS=-L/usr/local/opt/llvm/lib"] {os-distribution = "homebrew"}`
	`18`	`+ [ "export" "CPPFLAGS=-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}`
`19`	`19`	`[ "python3" "scripts/mk_make.py" "--ml" ]`
`20`	`20`	`[ make "-C" "build" "-j" jobs ]`
`21`	`21`	`]`