diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-14 08:38:32 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-14 08:38:32 -0700 |
commit | 3237c3ec11aec29eb366474766920a35d39b946a (patch) | |
tree | 6089d9ea723e2514137a83b9feff134c869a2423 /.style.yapf | |
parent | b17ee60bc45e030113bcfdf5cdf575b0f6f961f1 (diff) |
Fix GLPK build on older CMake versionsfixGlpkBuild
PR #7329 did not update the linking of GLPK (i.e., not to link against
it from `cvc5-obj`). The required linking commands are already present,
so this simply removes the spurious linking command.
Diffstat (limited to '.style.yapf')
0 files changed, 0 insertions, 0 deletions