Fix variable export again

wintersteiger · wintersteiger · commit fdf6a3be34e4 · 2025-06-11T18:06:20.000+01:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -14,8 +14,8 @@ patches: [
 ]
 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 "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
`@@ -14,8 +14,8 @@ patches: [`
`14`	`14`	`]`
`15`	`15`	`build: [`
`16`	`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"}`
	`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`	`]`