diff options
| author | Andrew V. Jones <andrew.jones@vector.com> | 2020-07-30 16:51:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-30 08:51:42 -0700 |
| commit | e142a47195faba468d523660710bedc05f6591dd (patch) | |
| tree | 23205789c2dbca270969e98b62572e44c0a83159 /src/theory/arith/nl/cad/constraints.h | |
| parent | 95ca28b7e8466e956898da377e253fc32c58e52d (diff) | |
When linking Editline, use 'pkg-config' to correctly find the link-time dependencies (#4809)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'src/theory/arith/nl/cad/constraints.h')
0 files changed, 0 insertions, 0 deletions