6 Commits

Author	SHA1	Message	Date
Sören Tempel	981e24ddb6	community/z3: upgrade to 4.8.4 ... Both patches should no longer be needed: immintrin-i386-only.patch: has been applied upstream [0]. fix-ppc64le-ptr-size.patch: checks for __LP64__ now [1] which covers our cases. [0]: a3ece29628 [1]: 51a947b73d	2018-12-26 15:35:07 +01:00
Carlo Landmeter	cb24f58de5	community/z3: immintrin.h only available on i386	2018-11-30 11:13:09 +00:00
Mike Sullivan	5c2e69fba7	community/z3: fix ppc64le build break to skip use of immintrin.h	2018-11-27 08:56:44 +00:00
Sören Tempel	3894c9fde1	community/z3: upgrade to 4.8.3	2018-11-22 23:06:27 +01:00
Mike Sullivan	f95c00756f	community/z3: fix ppc64le by setting proper ptr width	2018-08-03 14:30:35 +00:00
Sören Tempel	75c3de0231	community/z3: move from testing	2018-06-27 19:16:55 +02:00