Skip to content

Conversation

dimpase
Copy link
Contributor

@dimpase dimpase commented May 1, 2025

  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

@github-actions github-actions bot added the autosquash Automatically squash pull request commits according to Homebrew style. label May 1, 2025
@dimpase dimpase force-pushed the add_flint_to_singular branch from 150acb4 to c41e08c Compare May 1, 2025 18:21
@github-actions github-actions bot added the python Python use is a significant feature of the PR or issue label May 1, 2025
@dimpase dimpase force-pushed the add_flint_to_singular branch from c41e08c to 0a0c5be Compare May 1, 2025 18:25
@github-actions github-actions bot removed the autosquash Automatically squash pull request commits according to Homebrew style. label May 1, 2025
@chenrui333 chenrui333 changed the title Add flint to singular singular: add flint dep May 1, 2025
@botantony
Copy link
Contributor

list of dependencies must be sorted in alphabetical order, can you run brew style --fix singular and push the changes?

@github-actions github-actions bot added the autosquash Automatically squash pull request commits according to Homebrew style. label May 1, 2025
@dimpase
Copy link
Contributor Author

dimpase commented May 1, 2025

done. By the way, brew style didn't complain when I ran it. Is it a bug in brew?

@daeho-ro
Copy link
Member

daeho-ro commented May 2, 2025

You need to squash your commits 😅

@dimpase
Copy link
Contributor Author

dimpase commented May 2, 2025

I thought it's what "autosquash" is for...

Singular has an optional interface for flint, which is not built in the
current formula as it's missing. We add the dependency to let
it build it. Basically, it makes the executable a bit bigger and
links it (onb my machine, currently) to
 /usr/local/opt/flint/lib/libflint.20.0.dylib
@dimpase dimpase force-pushed the add_flint_to_singular branch from 37b9b2e to 5a8e965 Compare May 2, 2025 01:20
@github-actions github-actions bot removed the autosquash Automatically squash pull request commits according to Homebrew style. label May 2, 2025
Copy link
Contributor

github-actions bot commented May 2, 2025

🤖 An automated task has requested bottles to be published to this PR.

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label May 2, 2025
@BrewTestBot BrewTestBot enabled auto-merge May 2, 2025 04:43
@BrewTestBot BrewTestBot added this pull request to the merge queue May 2, 2025
Merged via the queue into Homebrew:master with commit ac9ccf8 May 2, 2025
14 checks passed
@dimpase dimpase deleted the add_flint_to_singular branch May 2, 2025 20:32
vbraun pushed a commit to vbraun/sage that referenced this pull request May 4, 2025
sagemathgh-40033: Singular 4.4.1 + Flint 3.3.2
    
Update flint and singular.
This will catch up with Conda and Homebrew, possibly other distros

(Homebrew needs Homebrew/homebrew-core#222142
merged)

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

sagemath#39943: - just not to build patch from source (if you have systemwide
patch 2.8)

sagemath#39977: - patches to allow gcc-15, etc
    
URL: sagemath#40033
Reported by: Dima Pasechnik
Reviewer(s):
vbraun pushed a commit to vbraun/sage that referenced this pull request May 5, 2025
sagemathgh-40033: Singular 4.4.1 + Flint 3.3.2
    
Update flint and singular.
This will catch up with Conda and Homebrew, possibly other distros

(Homebrew needs Homebrew/homebrew-core#222142
merged)
EDIT Homebrew/homebrew-core#222142 has been
merged, so now you can install singular from Homebrew and use it!

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

sagemath#39943: - just not to build patch from source (if you have systemwide
patch 2.8)

sagemath#39977: - patches to allow gcc-15, etc
    
URL: sagemath#40033
Reported by: Dima Pasechnik
Reviewer(s):
vbraun pushed a commit to vbraun/sage that referenced this pull request May 6, 2025
sagemathgh-40033: Singular 4.4.1 + Flint 3.3.2
    
Update flint and singular.
This will catch up with Conda and Homebrew, possibly other distros

(Homebrew needs Homebrew/homebrew-core#222142
merged)
EDIT Homebrew/homebrew-core#222142 has been
merged, so now you can install singular from Homebrew and use it!

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

sagemath#39943: - just not to build patch from source (if you have systemwide
patch 2.8)

sagemath#39977: - patches to allow gcc-15, etc
    
URL: sagemath#40033
Reported by: Dima Pasechnik
Reviewer(s):
vbraun pushed a commit to vbraun/sage that referenced this pull request May 9, 2025
sagemathgh-40033: Singular 4.4.1 + Flint 3.3.2
    
Update flint and singular.
This will catch up with Conda and Homebrew, possibly other distros

(Homebrew needs Homebrew/homebrew-core#222142
merged)
EDIT Homebrew/homebrew-core#222142 has been
merged, so now you can install singular from Homebrew and use it!

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

sagemath#39943: - just not to build patch from source (if you have systemwide
patch 2.8)

sagemath#39977: - patches to allow gcc-15, etc
    
URL: sagemath#40033
Reported by: Dima Pasechnik
Reviewer(s):
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. python Python use is a significant feature of the PR or issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants