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.

Sign up for GitHub

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

Jump to bottom

cryptominisat 5.12.1 #207194

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

cryptominisat 5.12.1 #207194

wants to merge 1 commit into from

Conversation

BrewTestBot
Copy link
Member

Created by brew bump

Created with brew bump-formula-pr.

release notes 
Fixing bug wit  independent support. Now `--onlyindep` is no longer needed, it's default and is no longer supported. If you need to run without independent support, simply delete all `c ind ..` and `c p show ...` lines in your CNF.

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label Feb 10, 2025
@daeho-ro
Copy link
Member 

  CMake Error at CMakeLists.txt:537 (find_library):
    Could not find cadiback using the following names: cadiback
  
  
  -- Configuring incomplete, errors occurred!

@daeho-ro daeho-ro added the build failure CI fails while building the software label Feb 11, 2025
@botantony
Copy link
Contributor

The project seems to depend on cadiback and cadical libraries. I am not sure whether they need to be added as resources or as new formulae

@botantony
Copy link
Contributor

upd: we need to use meelgroup's forks: https://github.com/msoos/cryptominisat/blob/master/README.markdown#compiling-in-linux

@chenrui333 chenrui333 added the CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds. label Feb 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
build failure CI fails while building the software bump-formula-pr PR was created using `brew bump-formula-pr` CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@BrewTestBot @daeho-ro @botantony @chenrui333