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: 41279233eaf8
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: beaf69cee298
Choose a head ref
  • 10 commits
  • 7 files changed
  • 1 contributor

Commits on Jan 9, 2019

  1. yosys: 2018.10.17 -> 2019.01.08 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    c60adab View commit details
    Browse the repository at this point in the history

  2. symbiyosys: 2018.09.12 -> 2018.12.09 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    d77f381 View commit details
    Browse the repository at this point in the history

  3. icestorm: 2018.09.04 -> 2018.12.31 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    db13638 View commit details
    Browse the repository at this point in the history

  4. nextnpr: 2018.12.29 -> 2019.01.08 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    1d36130 View commit details
    Browse the repository at this point in the history

  5. z3: 4.8.3 -> 4.8.4 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    38aa0a3 View commit details
    Browse the repository at this point in the history

  6. yices: s/fetchurl/fetchFromGitHub/ 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    c106507 View commit details
    Browse the repository at this point in the history

  7. nextpnr: disable broken GUI build for now 

    This didn't work remotely (on a server with Nvidia drivers) _or_ on a
local Intel machine with integrated graphics. I presumably messed
something up (a missing dependency), but I'm not sure where. We can fix
it later.

In the mean time, just disable this by hiding it behind a minimal flag.
As a bonus this reduces the closure size by about half, although it's
still surprisingly large (~300MB or so). Part of that is probably
Python, though.

When the GUI is reintroduced in a working manner, we can expose two
nextpnr attributes for the minimal non-GUI build, and the GUI build.
(Note that I have no plans of making Python optional, since it's
extremely valuable in general and much more lightweight than qtbase.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    412e02c View commit details
    Browse the repository at this point in the history

  8. nextpnr: fix version string output 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    651679c View commit details
    Browse the repository at this point in the history

  9. trellis: 2018.08.01 -> 2018.12.20, update, cleanup 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    d67cbe9 View commit details
    Browse the repository at this point in the history

  10. nextpnr: enable ECP5 P&R with Project Trellis 

    This requires an absurd, disgustingly gross hack in order to share the
build artifacts necessary for nextpnr to use trellis.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Jan 9, 2019
    Copy the full SHA
    beaf69c View commit details
    Browse the repository at this point in the history