projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95ca28b) | patch
When linking Editline, use 'pkg-config' to correctly find the link-time dependencies...
authorAndrew V. Jones <andrew.jones@vector.com>
Thu, 30 Jul 2020 15:51:42 +0000 (16:51 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Jul 2020 15:51:42 +0000 (08:51 -0700)
commite142a47195faba468d523660710bedc05f6591dd
tree23205789c2dbca270969e98b62572e44c0a83159tree
parent95ca28b7e8466e956898da377e253fc32c58e52dcommit | 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>
.github/workflows/ci.yml diff | blob | history
cmake/FindEditline.cmake diff | blob | history
src/main/CMakeLists.txt diff | blob | history