* Add initial support for RapidCheck
Create a portfile for the C++ property-based testing library RapidCheck.
This port is relatively straight forward but there are a couple of caveats:
* The current port uses a branch from a fork that I modified as the CMake installation logic had some problems.
The library was almost exclusively used by being added as a subfolder so the CMake export machinery was probably not well tested.
* The changes are going to get merged into the main repository eventually and then it would be possible to change where the source
code is downloaded.
I am unaware when the main RapidCheck library maintainer will accept my pull request, so it is better to have this library in VCPKG
sooner, rather than later.
* Update the RapidCheck portfile to download the library sources for the main repository
* Since the maintainer of RapidCheck very quickly merged the required CMake modifications
to enable the proper installation of the library, it is better to now use the official
repository's master branch.
* Change the versioning of the library to be based on the date of the git reference chosen
since rapid check does not have an explicit versioning scheme.
* Update rapidcheck and modify configuration step
* [rapidcheck] Tidy
* win_flex 2.5.9 is no longer downloadable, use 2.5.16
* [vcpkg_find_acquire_program] Fix links to flex and bison. Use subdir to avoid conflict with previous version.
* fdlibm init
* fix links
* Fix different hashes creation with google host
* Move functions to script
* Fix documentation
* [vcpkg_from_git] Add SHA512 argument, switch to zip to better support Windows.
* [fdlibm] Trigger rebuild
* [vcpkg_from_git] Use FETCH_HEAD reference to support tags
I'm seeing the error below:
Building package zlib[core]:x86-windows...
A suitable version of git was not found (required v2.17.1). Downloading portable git v2.17.1...
Downloading git...
WinHttpSendRequest() failed: 12002
I suspect the WinHttpSendRequest error is due to being behind a proxy -
most download issues seem to be this. Or perhaps because a sys admin
somewhere has disabled WinInet, somehow. I don't know. I don't know
how to debug WinHttpSendRequest(); a quick google search didn't help.
By printing the URL that vcpkg is trying to download, and where it's
trying to download to, I can pop the URL in my browser, save it at the
location specified, and move on with my life.
* [rocksdb] Update to v5.15.10
* [rocksdb] Cleanup
* [rocksdb] Fix cmake targets name.
* [toolchains] Set NDEBUG in release
* [rocksdb] Disable vcpkg_test_cmake due to misbehavior in x64
* [tiff] Use lzma on linux
* [libgeotiff] Install doc files in the correct place
The original portfile put documentation (authors, readme, etc.) inside
of vcpkg/installed/<triplet>/doc. This commit modifies the portfile such
that the files are installed to
vcpkg/installed/<triplet>/share/libgeotiff/doc instead.
* [libgeotiff] Bump version
* [libgeotiff] Avoid file(INSTALL)