Giter VIP home page Giter VIP logo

Comments (3)

MichaelXavier avatar MichaelXavier commented on July 16, 2024

Also probably cacert since most git repos you'd clone from will fail with an SSL certificate error without it.

from easy-purescript-nix.

justinwoo avatar justinwoo commented on July 16, 2024

Ah, yeah, and this would be another case where I just don't know enough about what spago tries to do since I only use it in some limited ways. Have you had any luck with trying these? I think you also might even manually use wrapProgram with git in the PATH, but I hope what you suggested works out.

from easy-purescript-nix.

MichaelXavier avatar MichaelXavier commented on July 16, 2024

I think I may have tripped this by having a dependency from git in spago. I'm assuming if the package is in the package set it just pulls it in as a tarball or something. I can confirm that adding pkgs.cacert and pkgs.git to my derivation's built inputs resolved the issue and I was able to build the whole project. I'm fairly sure adding it to the propagatedBuildInputs of easy-purescript-nix is the right move, since they aren't really build inputs to any of the tools but more like peer dependencies.

from easy-purescript-nix.

Related Issues (20)

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.