-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Embedded copy of catch2 is too old and buggy #130
Comments
I am open to any suggestions. Thanks. |
Hello, Thanks for considering; if you are on a Debian-based distribution I believe the catch2 package should be available in the repositories... but otherwise getting the package from the GitHub repo is also fine. I forgot to say I was using version 2.13.9: Best wishes, |
I had moved to version 3.10 in this PR #131 as |
Removed embedded copy of Catch2 Header and support versions 2 or 3 of Catch2. See #131. |
Hello,
The code embeds a copy of catch2, but it lies several versions behind upstream which has solved some issues, e.g. catchorg/Catch2#2421 which showed up for me when using the tip of master of your TileDB to build GenomicsDB.
In Debian unstable, linking to the Debian-packaged catch2 instead has solved this problem.
Cheers,
Pierre
The text was updated successfully, but these errors were encountered: