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: 72b01f5bc3de
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 152522d69d57
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 contributors

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.

(cherry picked from commit 53a8a41)
    @risicle
    risicle committed Sep 23, 2020
    Copy the full SHA
    f2e3ca7 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

(cherry picked from commit fc709e6)
    @risicle
    risicle committed Sep 23, 2020
    Copy the full SHA
    f12987a View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2020

  1. Merge pull request #98578 from risicle/ris-cvc3-fix-r20.09 

    [20.09] cvc3: fix build against bison 3.7
    @7c6f434c
    7c6f434c committed Sep 25, 2020
    Copy the full SHA
    152522d View commit details
    Browse the repository at this point in the history