highs: Add version 1.2.2+0

[ftk]

Closes #3936

• [x] I have read the Contributing Guide.

Tar archive can't be unpacked with 7zip:

ERRORS:
Unexpected end of archive

GNU tar works fine.

[rashil2000]

This seems to be an upstream issue with how the archive is created.

For now, a workaround can be to manually use Expand-7zipArchive in a pre_install step, and ignore the errors - because as far as I can see, the files seem to have been extracted properly.

[ViCrack]

This seems to be a scoop Expand-7zipArchive issue.

7z can work well by using a pipe, and without the intermediate tar file.

> 7z x "HiGHS.v1.2.2.x86_64-w64-mingw32-cxx11.tar.gz" -so | 7z x -aoa -si -ttar

7-Zip 22.01 (x64) : Copyright (c) 1999-2022 Igor Pavlov : 2022-07-15


Extracting archive:
--
Path =
Type = tar
Code Page = UTF-8
Characteristics = ASCII

Everything is Ok

Folders: 22
Files: 132
Size:       9393869
Compressed: 78848

[ftk]

/verify

7z x "HiGHS.v1.2.2.x86_64-w64-mingw32-cxx11.tar.gz" -so | 7z x -aoa -si -ttar

Weirdly it works in cmd.exe but not in powershell.

[github-actions[bot]]

All changes look good.

Wait for review from human collaborators.

highs

• [x] Description
• [x] License
• [x] Hashes
• [x] Checkver
• [x] Autoupdate

[StarsbySea]

This seems to be a scoop Expand-7zipArchive issue.

No, this is not a problem with the unzipping of the scoop or 7z software, when you unzipping manually you will see the problem. the gz layer compression is fine, but the tar is problematic, you can see the demo code below.

PS C:\Users\Kevin\scoop\apps\highs\1.4.2+0> 7z x dl.tar.gz

7-Zip 22.01 (x64) : Copyright (c) 1999-2022 Igor Pavlov : 2022-07-15

Scanning the drive for archives:
1 file, 2410119 bytes (2354 KiB)

Extracting archive: dl.tar.gz
--
Path = dl.tar.gz
Type = gzip
Headers Size = 10

Everything is Ok

Size:       9474048
Compressed: 2410119
PS C:\Users\Kevin\scoop\apps\highs\1.4.2+0> 7z x dl.tar

7-Zip 22.01 (x64) : Copyright (c) 1999-2022 Igor Pavlov : 2022-07-15

Scanning the drive for archives:
1 file, 9474048 bytes (9252 KiB)

Extracting archive: dl.tar

ERRORS:
Unexpected end of archive

--
Path = dl.tar
Type = tar
ERRORS:
Unexpected end of archive
Physical Size = 9474048
Headers Size = 77824
Code Page = UTF-8
Characteristics = POSIX ASCII



Archives with Errors: 1

Open Errors: 1

PS C:\Users\Kevin\scoop\apps\highs\1.4.2+0>

Of course, this may not affect the software and perhaps we can temporarily bypass the error by manually unzipping, but a better way is to report the problem like upstream, I found this https://github.com/JuliaPackaging/Yggdrasil/issues/6 but I don't know if it has anything to do with this unzipping error.