diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-10-31 09:33:05 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-10-31 09:33:05 -0700 |
| commit | 8f97ad7b3c7643b3845e61d7792013aa9b8ada3d (patch) | |
| tree | 50995e07867428c46fe1d5ffd33023d8af07bdd1 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 8c183349e557911066abd10c36add257c6e34531 (diff) | |
coqPackages.ssreflect: add ncurses as a dependency
This is needed in the Darwin pure environment, where ncurses is not
available within the sandbox. The exact error was:
coqmktop -coqlib `coqtop -where` -o bin/ssrcoq.byte -I +threads src/ssrmatching.cmo src/ssreflect.cmo
ld: warning: directory not found for option '-L/nix/store/wlf8pb7gz5alzbhdxwayxx0x4as3rnw8-coq-8.5b2/lib/coq/kernel/byterun'
ld: library not found for -lncurses
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions