Matheus Gabriel Werny

Results 96 comments of Matheus Gabriel Werny

@Krzmbrzl Hello, I am not related to the [soci package on the AUR](https://aur.archlinux.org/packages/soci). I once helped someone out who had compilation issues but I do not have said conversation at...

@Krzmbrzl Honestly, I am not that proficient with CMake. All features that I use are including source code and headers, link libraries, set compile options, testing, documentation generation and setting...

@vadz This pull request is probably needed for 4.1 to work. See #1153.

@jurekl This software has a file `pyproject.toml` which specifies how to install this software according to PEP 517. It does not seem to work.

Yes, however for packaging reasons a standard way would be beneficial. I package it for the [AUR](https://aur.archlinux.org/packages/python-nostalgiaforinfinity).

I just tested version 11.1.1 and it does not have the bug anymore.

@redbmk I highly doubt that waiting this long for a response is worth it. Maybe you can just handle it how you like. I appreciate your work!

What is the issue with the commits? Why do not the tests finish? I would like to inspect the output but can only call the one of "continuous-integration/appveyor/pr". Edit: I...

I am done with my testing. I did not experience the issues before because I did not have `z3` or `cvc4` installed. With it, the compilation succeeds but the tests...