Skip to content

ocaml 4.11.1#67721

Closed
chenrui333 wants to merge 12 commits intoHomebrew:masterfrom
chenrui333:bump-ocaml-4.10.2
Closed

ocaml 4.11.1#67721
chenrui333 wants to merge 12 commits intoHomebrew:masterfrom
chenrui333:bump-ocaml-4.10.2

Conversation

@chenrui333
Copy link
Copy Markdown
Member

@chenrui333 chenrui333 commented Dec 26, 2020

Created with brew bump-formula-pr.

@BrewTestBot BrewTestBot added the deprecated license Formula uses a deprecated SPDX license which should be updated label Dec 26, 2020
@chenrui333 chenrui333 mentioned this pull request Dec 26, 2020
Closed
@chenrui333
Copy link
Copy Markdown
Member Author

chenrui333 commented Dec 26, 2020

11.0

brew install --build-from-source bibtex2html
brew install --build-from-source comby
brew install --verbose --build-bottle camlp5
brew install --verbose --build-bottle hyperkit
brew install --build-from-source camlp5
brew install --only-dependencies --verbose --build-bottle ledit
brew install --verbose --build-bottle ledit
brew install --verbose --build-bottle ocaml-num

10.14, 10.15

Error: 8 failed steps!
brew install --build-from-source bibtex2html
brew install --build-from-source comby
brew install --verbose --build-bottle camlp5
brew test --verbose hyperkit
brew install --build-from-source camlp5
brew install --only-dependencies --verbose --build-bottle ledit
brew install --verbose --build-bottle ledit
brew install --verbose --build-bottle ocaml-num

@chenrui333
Copy link
Copy Markdown
Member Author

chenrui333 commented Dec 26, 2020 •
edited
Loading

bibtex2html site issue, backtracking/bibtex2html#30
camlp5 build issue report, camlp5/camlp5#71

@fxcoudert fxcoudert added the CI-force-arm [DEPRECATED] Don't pass --skip-unbottled-arm to brew test-bot. label Dec 26, 2020
@fxcoudert
Copy link
Copy Markdown
Member

fxcoudert commented Dec 26, 2020

Once you rebase on top of master, we can see how it goes on ARM, which it is supposed to support in this version.

@fxcoudert fxcoudert mentioned this pull request Dec 27, 2020
Closed
@chenrui333
Copy link
Copy Markdown
Member Author

chenrui333 commented Dec 28, 2020

hyperkit issue report, moby/hyperkit#301

@chenrui333
Copy link
Copy Markdown
Member Author

chenrui333 commented Dec 29, 2020

camlp5 7.14 #67908

@carlocab
Copy link
Copy Markdown
Member

carlocab commented Jan 9, 2021

There's a version 4.11.1 now. Try that?

@chenrui333 chenrui333 mentioned this pull request Jan 10, 2021
Closed
5 tasks
@chenrui333
ocaml 4.11.1
c03c790 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
camlp5: revision for ocaml
32789b4 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
coccinelle: revision for ocaml
e622603 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
hevea: revision for ocaml
6300e14 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
hyperkit 0.20210107
cd79b96 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
lablgtk: revision for ocaml
56c10b1 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
ledit: revision for ocaml
b64744a 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
menhir: revision for ocaml
018c294 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
ocaml-findlib: revision for ocaml
080e9fd 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
ocaml-num: revision for ocaml
b14a860 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
ocamlbuild: revision for ocaml
36f607f 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333
ocamlsdl: revision for ocaml
90bb22e 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333 chenrui333 changed the title ocaml 4.10.2 ocaml 4.11.1 Jan 18, 2021
@chenrui333 chenrui333 mentioned this pull request Jan 18, 2021
Closed
@chenrui333 chenrui333 added the CI-requeued PR has been re-added to the queue label Jan 18, 2021
@chenrui333
Copy link
Copy Markdown
Member Author

chenrui333 commented Jan 18, 2021

build status

10.14, 10.15, 11.0

Error: ocamlsdl has been disabled!
==> SKIPPED ocamlsdl
Error: 7 failed steps!
brew install --build-from-source comby
brew install --build-from-source coq
brew test --retry --verbose ocaml-zarith
brew test --retry --verbose ocaml-zarith
brew test --verbose hyperkit
brew install --verbose --build-bottle ledit
brew install --verbose --build-bottle ocaml-num

11-arm

Error: ocamlsdl has been disabled!
==> SKIPPED ocamlsdl
Error: 31 failed steps!
brew install --verbose --build-bottle ocaml
brew install --build-from-source ocaml
brew install --only-dependencies --verbose --build-bottle ocamlbuild
brew install --verbose --build-bottle ocamlbuild
brew install --build-from-source ocaml ocamlbuild
brew install --only-dependencies --verbose --build-bottle hevea
brew install --verbose --build-bottle hevea
brew install --build-from-source ocaml
brew install --only-dependencies --verbose --build-bottle camlp5
brew install --verbose --build-bottle camlp5
brew install --build-from-source ocaml
brew install --only-dependencies --verbose --build-bottle ocaml-findlib
brew install --verbose --build-bottle ocaml-findlib
brew install --build-from-source hevea ocaml ocamlbuild
brew install --only-dependencies --verbose --build-bottle coccinelle
brew install --verbose --build-bottle coccinelle
brew install --build-from-source ocaml
brew install --only-dependencies --verbose --build-bottle hyperkit
brew install --verbose --build-bottle hyperkit
brew install --build-from-source ocaml
brew install --only-dependencies --verbose --build-bottle lablgtk
brew install --verbose --build-bottle lablgtk
brew install --build-from-source camlp5 ocaml
brew install --only-dependencies --verbose --build-bottle ledit
brew install --verbose --build-bottle ledit
brew install --build-from-source ocaml ocamlbuild
brew install --only-dependencies --verbose --build-bottle menhir
brew install --verbose --build-bottle menhir
brew install --build-from-source ocaml ocaml-findlib
brew install --only-dependencies --verbose --build-bottle ocaml-num
brew install --verbose --build-bottle ocaml-num

@chenrui333 chenrui333 removed the CI-force-arm [DEPRECATED] Don't pass --skip-unbottled-arm to brew test-bot. label Jan 18, 2021
@kit-ty-kate
Copy link
Copy Markdown
Contributor

kit-ty-kate commented Jan 22, 2021

There's a version 4.11.1 now. Try that?

4.11.1 is not compatible with macOS/arm64. Please use 4.10.2 instead, 4.10.2 was released precisely for fast merge in homebrew. What was blocking before? I can't see the previous logs

@kit-ty-kate
Copy link
Copy Markdown
Contributor

kit-ty-kate commented Jan 22, 2021 •
edited
Loading

For the ocaml-num failure, my guess is that the install phase from hyperkit is changing the environment. Is the install phase sandboxed?

kit-ty-kate added a commit to kit-ty-kate/homebrew-core that referenced this pull request Jan 26, 2021
@kit-ty-kate
Try to help fix Homebrew#67721
96a6409
@kit-ty-kate
Copy link
Copy Markdown
Contributor

kit-ty-kate commented Jan 26, 2021

I opened a PR on your repository, just in case this is the issue.

@chenrui333 chenrui333 closed this Feb 8, 2021
@github-actions github-actions bot added the outdated PR was locked due to age label Jul 20, 2021
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 20, 2021
@chenrui333 chenrui333 deleted the bump-ocaml-4.10.2 branch December 18, 2022 05:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

CI-requeued PR has been re-added to the queue deprecated license Formula uses a deprecated SPDX license which should be updated outdated PR was locked due to age

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@chenrui333 @fxcoudert @carlocab @kit-ty-kate @BrewTestBot