Fix error message from cpack#803

Closed

lovettchris wants to merge 24 commits intoleanprover:masterfrom

lovettchris:clovett/cifix

Commits on Oct 13, 2021

fix: remove manual shell scripting for compiling libleanrt with the additional compile flag "-ftls-model=local-exec". I think cmake can easily do this just using target_compile_options.
lovettchris
committed

Commits on Oct 15, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Oct 20, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Oct 21, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Oct 27, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Oct 28, 2021

Commits on Oct 29, 2021

Commits on Nov 1, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Nov 2, 2021

Commits on Nov 4, 2021

Commits on Nov 5, 2021

Commits on Nov 6, 2021

Commits on Nov 8, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Nov 12, 2021

Commits on Nov 16, 2021

Merge remote-tracking branch 'upstream/master'
lovettchris
committed

Commits on Nov 17, 2021

fix: Fix error message from cpack.
lovettchris
committed