Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:
ld: inout.o:/build/chemtool-1.6.14/ct1.h:279: multiple definition of
`outtype'; draw.o:/build/chemtool-1.6.14/ct1.h:279: first defined here
clementine: add gst-plugins-bad to buildInputs
`gst-plugins-bad` is required to play internet radio streams in clementine.
Specifically, this fixes the `No URI handler implemented for "http"` error when trying to play internet radio streams in clementine.
clementine: add gst-plugins-bad to buildInputs
`gst-plugins-bad` is required to play internet radio streams in clementine.
Specifically, this fixes the `No URI handler implemented for "http"` error when trying to play internet radio streams in clementine.
`gst-plugins-bad` is required to play internet radio streams in clementine.
Specifically, this fixes the `No URI handler implemented for "http"` error when trying to play internet radio streams in clementine.
The testing scheme for vhd2vl is sensitive to subtle shifts in
iverilog's parenthesization choices, meaning that the golden test
outputs require constant maintenance.
The patch previously applied in order to deal with this situation is
no longer sufficient, so a patch which is sufficient has been added.
Also, the `buildTargets` and `checkTarget` attributes have been set,
so future benign failures of this sort can be dealt with through
`doCheck=false` in a pinch.
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`