Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
Date: Sun, 21 Sep 2025 20:04:31 UTC
On 2025-09-21 22:01, Älven wrote:
> Daniel Engberg <diizzy@FreeBSD.org> writes:
>
>> On 2025-09-21 19:47, Älven wrote:
>>> The branch main has been updated by alven:
>>>
>>> URL:https://cgit.FreeBSD.org/ports/commit/?id=364ccd8596554c83c840725219cf262e6d87fb71
>>>
>>> commit 364ccd8596554c83c840725219cf262e6d87fb71
>>> Author: Älven<alven@FreeBSD.org>
>>> AuthorDate: 2025-09-21 13:57:44 +0000
>>> Commit: Älven<alven@FreeBSD.org>
>>> CommitDate: 2025-09-21 17:47:01 +0000
>>>
>>> math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
>>> Changelogs:
>>> *https://yices.csl.sri.com/release-notes.html
>>> *https://github.com/SRI-CSL/yices2/compare/Yices-2.6.5...yices-2.7.0
>>> * Switch MASTER_SITES to Github as upstream official site
>>> doesn't
>>> contain tarball for 2.7.0
>>> * Add second WWW for source code repository
>>> * Correct LICENSE and LICENSE_FILE
>>> * Have test issue closed
>>> https://github.com/SRI-CSL/yices2/issues/523
>>> * Mark as PIE_UNSAFE
>>> Approved by: yuri@ (maintainer, Mentor)
>>>
>> Hi,
>>
>> This is wrong and only works by accident, it pulls the branch called
>> 2.7.0 not the tagged release.
>>
>> Best regards,
>> Daniel
>
> Hi,
>
> Thank you for checking this. I just don't understand what went wrong
> according to you. Could you, please, explain it in more detail?
>
Hi
Tagged release: https://github.com/SRI-CSL/yices2/releases/tag/yices-2.7.0
Branch: https://github.com/SRI-CSL/yices2/tree/2.7.0
# make -V GH_TAGNAME
2.7.0
GH_TAGNAME should be yices-${DISTVERSION}
Best regards,
Daniel