793398 – sci-mathematics/z3-4.8.10: Backport alignment fixes

Bug 793398 - sci-mathematics/z3-4.8.10: Backport alignment fixes

Summary: sci-mathematics/z3-4.8.10: Backport alignment fixes

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All All

Importance:	Normal normal (vote)
Assignee:	Mark Wright

URL:	https://github.com/Z3Prover/z3/issues...
Whiteboard:
Keywords:

Depends on:
Blocks:	unaligned-access 779742
	Show dependency tree

Reported:	2021-05-31 23:30 UTC by Arfrever Frehtes Taifersar Arahesis
Modified:	2023-05-08 17:22 UTC (History)
CC List:	3 users (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Arfrever Frehtes Taifersar Arahesis 2021-05-31 23:30:11 UTC

I suggest to backport alignment fixes to sci-mathematics/z3-4.8.10:

https://github.com/Z3Prover/z3/issues/5178
https://github.com/Z3Prover/z3/commit/79201e5ce693dcc36e3079b5f6b997add97da801
https://github.com/Z3Prover/z3/commit/aef38099bf629ea5f371561c0404a62cf0a2b51a

Comment 1 Arfrever Frehtes Taifersar Arahesis 2021-06-06 06:05:54 UTC

sci-mathematics/z3-4.8.11 was released on 2021-06-04, so backporting of these fixes is no longer needed.

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a81de75070cf4246b1becf4cf67fc3db6bf1e15b

commit a81de75070cf4246b1becf4cf67fc3db6bf1e15b
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2021-06-05 06:54:50 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2021-06-05 08:28:27 +0000

    sci-mathematics/z3: Bump to 4.8.11