Erik Wierich

@nuttyartist out-of-the-box most distros *only* support packages built on the infrastructure of the vendor. For example, Fedora only will list software built on fedora servers in the Software Center. A...

Same issue. This is very annoying when simply selecting text with a touchpad. Reproducible by simply having a longer line and selecting it by dragging left or right.

I am trying to debug a binary based on the STM32F4 discovery kit example. I can set breakpoints and those (usually) trigger, but if I attempt `step` or `stepi` the...

In our case we do not run into this issue if we test it on Windows with the arch-specific gdb. So maybe this either is a Linux or gdb-multiarch issue...

Would something like https://github.com/rust-lang/rust-bindgen/issues/1247 maybe be a more flexible approach? That would also fix the auto-detection on Fedora (which has the header under `/usr/include/z3/z3.h`). @futile would a pkg-config based detection...

I digged around a bit. The OpenCV wrapper has something pretty sophisticated. I am not suggesting to copy it 1:1, but taking a peek there was certainly interesting: https://github.com/twistedfall/opencv-rust/blob/master/build/library.rs. They...

@futile ah ok. Does z3 do not install it's pkg-config to some path that would be settable via `PKG_CONFIG_PATH` when doing a local build? Though, it looks like https://docs.rs/system-deps/latest/system_deps/#overriding-build-flags could...

Did not realize that I was assigned here. I switched jobs and are no longer involved in projects that suffer from this problem. On modern systems one would probably use...

OBS builds a lot of stuff, but user-namespaces can be compared with server-built AUR. So no, it is not an official package. I can only reiterate what I wrote three...

> Also, Linux is and has always been about choice. If we can automate the process successfully it shouldn't be such a hassle. Sure. More is always better if you...