Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[cgal] version 5.3.2 #25170

Closed
wants to merge 4 commits into from
Closed

[cgal] version 5.3.2 #25170

wants to merge 4 commits into from

Conversation

lrineau
Copy link
Contributor

@lrineau lrineau commented Jun 10, 2022

  • What does your PR fix?

    This PR adds version 5.3.2 of CGAL to versions/c-/cgal.json, without changing the baseline (that is CGAL-5.4, or CGAL-5.4.1 from PR [cgal] Update to version 5.4.1 #25141.

  • Which triplets are supported/not supported? Have you updated the CI baseline?

    all

  • Does your PR follow the maintainer guide?

    Yes, I think so.

  • If you have added/updated a port: Have you run ./vcpkg x-add-version --all and committed the result?

    Yes.

I have also tested this PR using the following vcpkg.json file:

{
        "name": "versions-test",
        "version": "1.0.0",
        "builtin-baseline": "40494a624f7dbdfbd39c1b46e136808a22740e12",
        "dependencies": [
                {
                        "name": "cgal",
                        "version>=": "5.3.2"
                }
        ],
        "overrides": [
                {
                        "name": "cgal",
                        "version": "5.3.2"
                }
        ]
}

@FrankXie05 FrankXie05 added the category:port-update The issue is with a library, which is requesting update new revision label Jun 10, 2022
@Thomas1664
Copy link
Contributor

Unfortunately, we cannot add backport versions in the public catalogue.

@lrineau
Copy link
Contributor Author

lrineau commented Jun 10, 2022

Okay, let's withdraw this PR.

@lrineau lrineau closed this Jun 10, 2022
@lrineau lrineau mentioned this pull request Jun 10, 2022
70 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:port-update The issue is with a library, which is requesting update new revision
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants