diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2020-03-23 00:43:57 -0400 |
---|---|---|
committer | Matthew Bauer <mjbauer95@gmail.com> | 2020-03-23 00:43:57 -0400 |
commit | c304c1e7d0f5bc673c8e7626bfe09270caf5f733 (patch) | |
tree | e088ef3aef2c180a589cff0ee36a71e196d7269e /pkgs/development/coq-modules/Verdi | |
parent | 7e55f28cfe6b52afeb8aef742f99affd7fa5e273 (diff) | |
download | nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar.gz nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar.bz2 nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar.lz nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar.xz nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.tar.zst nixlib-c304c1e7d0f5bc673c8e7626bfe09270caf5f733.zip |
gcc: move .dll.a* outputs to $lib
These are expected to be here for Windows compilation. The change in e1831ebea3bcb415800a74fe458f802e63549e1c didn’t move these correctly (while still patching the search paths). https://hydra.nixos.org/build/114202790
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
0 files changed, 0 insertions, 0 deletions