Ignorance is bliss...

I tried to compile the Picolibc that uses the Meson build system with CompCert. The CompCert install I tried uses the GNU/GCC toolchain for preprocessing and linking. That makes the compiler relatively compatible to a GCC, beside that not all command line options are supported. I was used to CMake projects and there it is normally enough to just set CC=ccomp and you are ready and set (at least if you use the GNU/GCC toolchain). [Read More]

I bought a MacBook end of 2014. My initial reason to buy it was to improve the Kate port for macOS. Beside that, I wanted to try if the Apple ecosystem and macOS are really that great and will solve all my issues in life (short answer: no, they aren’t, at least not for me). The HiDPI screen looked nice, too :=) After some initial “not a lot works”, if you don’t go the Homebrew or MacPorts way, the Kate port improved over the following years. [Read More]

At work we use the LLVM/clang libraries for pre-processing and parsing C/C++ stuff. During some experimenting with the current master version of these libraries, I stumbled on unexpected crashes inside our unit-tests on Windows. We work with MSVC 2019 on Windows and all worked fine with LLVM 9.x, but with master, close to all my tests did now segfault in aligned_free. I first thought that might be some current regression in LLVM master, but after tracing it back to having DenseSet/Map crashing during destruction, this seemed unlikely. [Read More]

What is a High DPI Display? In the past, most displays had (or the OS pretended to have) around 96 PPI, more or less. If you differed a bit and had too small/large UI elements, you mostly just resized your default font size a bit and were kind of happy. In the last years, more and more displays arise that have a much higher PPI values, which allows for e. [Read More]

KDE applications on Windows? One of the new goals of KDE is to spread the use of the applications created by the KDE community. This doesn’t only include the use of them on Linux & other Unix-like operating systems, but Windows, too. The Successes :) The KDE community has some successfully cross-platform applications out there, like Krita and GCompris. The teams behind these applications did some great job to both develop & market them for all operating systems, including Windows. [Read More]

At the moment, the yearly KDE conference Akademy is taking place in Milan. The yearly KDE e.V. meeting will be tomorrow. KDE e.V. is a registered non-profit organization that represents the KDE Community in legal and financial matters. For example the KDE e.V. is responsible for paying the servers that run our Phabricator/Bugzilla/Gitlab instances and all our web sites. KDE e.V. takes care of sponsoring developer sprints and contributor travel costs, too. [Read More]

After my series of LSP client posts, I got the question: What does this actually do? And why should I like this or help with it? For the basic question: What the heck is the Language Server Protocol (LSP), I think my first post can help. Or, for more details, just head over to the official what/why/… page. But easier than to describe why it is nice, I can just show the stuff in action. [Read More]

The new LSP client by Mark Nauwelaerts keeps making nice progress. It will not be shipped with the KDE Applications 19.08 release, but in master it is now compiled & installed per default. You only need to activate it on the plugin configuration page in Kate’s settings dialog to be able to use it. For details how to build Kate master with it’s plugins, please take a look at this guide. [Read More]

The new LSP client by Mark Nauwelaerts made nice progress since the LSP client restart post last week. Reminder: The plugin is not compiled per default, you can turn it on via: cmake -DCMAKE_INSTALL_PREFIX=“your prefix” -DENABLE_LSPCLIENT=ON “kate src dir” The code can still be found kate.git master, see lspclient in the addons directory. What is new? Diagnostics support: A tab in the LSP client toolview will show the diagnistics, grouped by file with links to jump to the locations. [Read More]

Since my last post about the LSP client progress in May I didn’t work on that project at all I think. But the good news is, somebody else did scratch that itch on his own ;=) We have now a prototype plugin in kate.git master, see lspclient in the addons directory. It is not compiled per default, you can turn it on via: cmake -DCMAKE_INSTALL_PREFIX=“your prefix” -DENABLE_LSPCLIENT=ON “kate src dir” [Read More]