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 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions