Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 0d203bb28076
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 3857a8bb25d7
Choose a head ref
  • 3 commits
  • 1 file changed
  • 1 contributor

Commits on Mar 26, 2019

  1. idrisPackages.idris-wrapper: Fix linking to gmp library 

    This has been broken since 5d18129,
which updated idris from 1.3.0 to 1.3.1, which included
idris-lang/Idris-dev#4472 as the cause of the
error. I'm still not entirely sure why this broke it though.

This now way should be rather future proof, it uses NIX_CFLAGS to pass
gpm link flags to our CC wrapper directly. The
`NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST` part I'm pretty sure
is needed for the CC wrapper to know that those CFLAGS are meant for the
cc running on the HOST.
    @infinisil
    infinisil committed Mar 26, 2019
    Copy the full SHA
    cfd2e67 View commit details
    Browse the repository at this point in the history

  2. idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc 

    This should make it work on Darwin with clang.
    @infinisil
    infinisil committed Mar 26, 2019
    Copy the full SHA
    271403c View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2019

  1. Merge pull request #58319 from Infinisil/fix-idris-gmp 

    idrisPackages: Fix linking to gmp library and cc
    @infinisil
    infinisil committed Apr 28, 2019
    Copy the full SHA
    3857a8b View commit details
    Browse the repository at this point in the history