GithubHelp home page GithubHelp logo

Comments (5)

fatemender avatar fatemender commented on June 11, 2024

Looks like a bug, probably something to do with execute permission removed by Cargo, I'll have a look tomorrow, thanks.

from boolector-sys.

ChristianMoesl avatar ChristianMoesl commented on June 11, 2024

@cdisselkoen I tried to analyse/fix the permissions problem. But to me it looks like, this got fixed in 007bc0e
.

Can you confirm that? And if so, can you also bump your boolector-sys dependency version in your boolector-rs crate? We would like to publish our project on crates.io and we need the latest version of your crate for that 😄

from boolector-sys.

cdisselkoen avatar cdisselkoen commented on June 11, 2024

Yes, it seems to be fixed, thanks!

I will certainly make a new release of boolector-rs shortly - I was waiting on resolution of this issue.

Thanks again!

from boolector-sys.

cdisselkoen avatar cdisselkoen commented on June 11, 2024

One final note - the README lists tools required for the build, I believe Git is also required for a successful vendored build (it tries to clone some googletest repo).

from boolector-sys.

cdisselkoen avatar cdisselkoen commented on June 11, 2024

boolector version 0.4.2 just released, and it has its own vendor-lgl feature which activates the corresponding feature of boolector-sys

from boolector-sys.

Related Issues (4)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.