diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-20 18:22:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-20 16:22:47 +0000 |
commit | 29d19c62ff1a65665f852134c24c17cca45251cd (patch) | |
tree | 340d16de74c1aae13b84688ad00f0b820ba0ef25 /test/regress/regress0/rels | |
parent | d6a50e3ebeea29abaa5a2aee624590490fa75dda (diff) |
Properly link Poly against GMP (#6398)
This PR fixes a linker issue with libpoly and static builds where Poly and GMP would be linked against in the wrong order.
Diffstat (limited to 'test/regress/regress0/rels')
0 files changed, 0 insertions, 0 deletions