Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE

Daniel Engberg <diizzy@FreeBSD.org> writes:

> 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
>

Hi and thank you! :)

It was a really nice spot, hard for me to see.
The fix is made, tested and landed.
Thank you for double checking my commits :)

-- 
Best regards,
Älven