Fix variable export

wintersteiger · wintersteiger · commit b4358d36cbb4 · 2025-06-11T18:01:12.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"
-    export LDFLAGS="-L/usr/local/opt/llvm/lib"
-    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"`
`17`		`- export LDFLAGS="-L/usr/local/opt/llvm/lib"`
`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`	`]`