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: 5948bdd25b93
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: fc709e6dfee4
Choose a head ref
  • 2 commits
  • 2 files changed
  • 1 contributor

Commits on Sep 23, 2020

  1. cvc3: fix build against bison 3.7 

    for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
    @risicle
    risicle authored and Jon committed Sep 23, 2020
    Copy the full SHA
    53a8a41 View commit details
    Browse the repository at this point in the history

  2. cvc3: enable for darwin 

    it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
    @risicle
    risicle authored and Jon committed Sep 23, 2020
    Copy the full SHA
    fc709e6 View commit details
    Browse the repository at this point in the history