klee-uclibc-1.3-bp155.3.5

- add 0001-strtod-fix-__strtofpmax.patch (build fix w/ LLVM 15)

- Switch to LLVM 14.

- update to 1.3
  * configure: remove old code, make llvm-config lookup more flexible,
    set to Python3, remove trailing whitespace
  * switch to https; fallback to curl when wget not available
  * Correcting use of 'lookForNew'
  * Add a message when the bitcode compiler is specified via CC
- add extra-locale-Makefile-don-t-always-require-curl-wget.patch to
  fix build

- Switch to LLVM 13.

- Switch to LLVM 12.

- Switch to regular version 1.2. That's a slight downgrade, as we
  lose the last two commits, but they aren't relevant here.
- Switch to LLVM 11.

- Update to version 1.0.0+git.20200711:
  * Correcting use of 'lookForNew' and some rudimentary code tidying in 'configure'
- disable x86_32 as it is unsupported -- there are bugs in klee.

- Switch to LLVM 10.

- switch to llvm 9

- Update to version 1.0.0+git.20190816:
  * Add a message when the bitcode compiler is specified via CC,
    to help diagnose cases in which CC does not point to a valid
    bitcode compiler.
  * Check if pointer size reflects architecture
  * Use newer gcc to compile KLEE
  * Fix compilation when __STDIO_HAS_OPENLIST is undefined

- The build requires ncurses-devel, and this will soon no longer be
  transitively included via llvm-devel.

- Switch to LLVM 8.

- Update to version 1.0.0+git.20180926:
  * Replaced README.klee with README.md, which now also includes a TravisCI build status.
  * Revert lit to 0.6.0 version, as 0.7.0 misbehaves
  * Backport uclibc PR 4964 to fix pointer error in newlocale
  * Enable locale support for uclibc
  * - Fix strtol*() with xlocale (on e.g. x86_64) (closes #2544)
  * Disable default tcmalloc build for uclibc testing
- switch to LLVM 7

- Update to version 1.0.0+git.20171011:
  * Updated Travis-CI to compile KLEE with CMake only
  * Sort list of ar input files
  * Removed support for LLVM 2.9
  * configure: read kernel header location from environment variable
  * features: support glibc 2.25
- remove 0001-features-support-glibc-2.25.patch (in upstream)

- switch to LLVM 6

- Revert llvm_version back to 4: klee is not ready yet to build
  using llvm5.

- Change llvm_Version to 5, following the switch of LLVM to version
  5 in Tumbleweed.

- require only base of python

- switch to LLVM 4
- BuildRequire: python as it is needed for configure
- add proper-compiler-flags-check.patch to kill the message flood

- Resolve some orthographic errors.