python-mypy and C/C++ code question

2022-07-16 Thread jgart
Hi Guixers, I have a basic question: How do the C and C++ files in python-mypy get built? Does the setup.py handle that for us? https://github.com/python/mypy/search?l=c https://github.com/python/mypy/search?l=c%2B%2B

Re: Finding Dependencies at Run Time

2022-07-16 Thread Thiago Jung Bauermann
Hello Peter, Peter Polidoro writes: >> Remember the difference between inputs and propagated inputs: they're >> the same, but when you create a profile, inputs are not part of the >> profile (so they need a direct store reference, such as RPATH or a >> wrapper), whereas propagated inputs are p

Re: Testing Pre-Release Graphical Installer 1.4

2022-07-16 Thread Tobias Geerinckx-Rice
Hi, Matias Jose Seco Baccanelli 写道: Actually i wanted to tryout the graphical installer for testing, Thank you! should i simply download the "x86-64" iso of "GNU Guix System on Linux" at the "download > latest" to have the most recent version of it ? Yep! The ‘latest’ ISO is built from

Re: New "GNU Guix Packaged" badge

2022-07-16 Thread Dr. Arne Babenhauserheide
Luis Felipe writes: > I made a badge you can use to let people know that your software is packaged > for Guix. > > See the picture for an example rendering on GitLab with a dark theme (the > badge should work on a light theme too). > > https://luis-felipe.gitlab.io/media/2022/07/gnu-guix-guile-

Re: X11 cursor size

2022-07-16 Thread Alexander Asteroth
Dear Gary, I tried this already an the effect is, that the default pointer (in X11 outside of any window) changes from a cross to a left_ptr but the size does not change. If I understand correctly, I need to have type1 fonts for that which I included in my config by adding `font-xfree86-type1` to

Testing Pre-Release Graphical Installer 1.4

2022-07-16 Thread Matias Jose Seco Baccanelli
Morning Guixers! Following the ml news i read that a new release is upcoming (1.4 right? exciting!), Actually i wanted to tryout the graphical installer for testing, should i simply download the "x86-64" iso of "GNU Guix System on Linux" at the "download > latest" to have the most recent version of

New "GNU Guix Packaged" badge

2022-07-16 Thread Luis Felipe
Hi, I made a badge you can use to let people know that your software is packaged for Guix. See the picture for an example rendering on GitLab with a dark theme (the badge should work on a light theme too). https://luis-felipe.gitlab.io/media/2022/07/gnu-guix-guile-hall-badges-2022-07-16.png G

Re: X11 cursor size

2022-07-16 Thread alex
Dear Gary, I tried this already an the effect is, that the default pointer (in X11 outside of any window) changes from a cross to a left_ptr but the size does not change. If I understand correctly, I need to have type1 fonts for that which I included in my config by adding `font-xfree86-type1` to