Compare commits

...

9 Commits

Author SHA1 Message Date
saundersp
e7eba06f23 Updated metadata/md5-cache 2025-10-31 20:12:11 +01:00
saundersp
b038a4290c Added sci-mathematics/lean-4.25.0_rc2 2025-10-31 20:12:00 +01:00
saundersp
8b344c81b7 Removed net-libs/nodejs-25.0.0 2025-10-31 20:08:17 +01:00
saundersp
b0a783766e Removed gui-apps/qt6ct-kde-0.11-r2 2025-10-31 20:08:06 +01:00
saundersp
8993458cf3 Removed app-office/notesnook-bin-3.3.2 2025-10-31 20:07:51 +01:00
saundersp
705cb450b8 Fixed app-text/ltex-ls-16.0.0 and app-text/ltex-ls-plus-18.6.1 missing dev-java/jackson-annotations slot error 2025-10-31 19:47:50 +01:00
saundersp
adf6c1ae5e Added net-libs/nodejs-25.1.0 2025-10-31 19:45:55 +01:00
saundersp
1e973b332d Added gui-apps/qt6ct-kde-0.11-r4 2025-10-31 19:45:36 +01:00
saundersp
0c3ecfb3d7 Added app-office/notesnook-bin-3.3.3 2025-10-31 19:44:54 +01:00
29 changed files with 274 additions and 48 deletions

View File

@@ -1,5 +1,5 @@
AUX notesnook.png 8808 BLAKE2B 35a26a036eaadc579cf3c6679fa54999174f35cdbbc2ecfc78765b3ed48af4c8265b463d474d56d369a6880cd7f69b2114c7a69a9c1ef0f3ee03dea22828f054 SHA512 53ac1638926e8d6192f43f12528c9e9518e9c28f215c8ef4de59e957fbfd409a094badfee3a88819c67a488e5cb02778a66800d18ba19edea26c3d462b4428b8
DIST notesnook-bin-3.3.2.amd64.AppImage 120918983 BLAKE2B 3dcd6fa862c6a2bab1a00cbb81146ec44c0dd5d8a489f2c4a63d284778b83164803f27032ffc75c99d04c894af132cac53f6e19e90fa0def0586413226b6966f SHA512 1a46573ab8f9fbb274c5310fe0c4196bb87cef1ed80bec293c631779625eedb61658a83f3959fb939fb0ba7e44bab26aa73d8c022b71f23260f483b53b8a04e9
DIST notesnook-bin-3.3.2.arm64.AppImage 121051371 BLAKE2B 2c09d965635853ab19939c0c1559eff695f10327c1f9db0081c9d6c2859658b344c14d58fe1d2b30436298e75d0dcbc09c93f7f7d12c512e5afcf815b04ed09f SHA512 4e22546e43bc9d04419e7b2e4e55c2d28a705edb06a6599df566e00bcfb4dc3f097b60ced6fa7dfda2cbb2207f5728e6e71b27451024a77ec36caa8894a36480
EBUILD notesnook-bin-3.3.2.ebuild 934 BLAKE2B 834250293860f83bea2ffafbea70a4ad96d0d76b2b52f9f140daeeeaefd05b596b1694cacad4ea86d00cc6588dde11b843f60b9a94afc6db2dd9ea4a713f61b3 SHA512 b3f78180a3132157a83fced6d2b7492a91c80bb3bdacb89ca1b062ed6bfbbc5112af0b1e3599f42c48cd0b9a895f3b6a19a8435520d00b11a7939d72041ee95d
DIST notesnook-bin-3.3.3.amd64.AppImage 120918939 BLAKE2B fd0964d099fd23ecfea8847e844a64db95b4c020614d449c0b2c65879d1842ae4202748ffb60152c1c24c8e1cb237b9678025594db34eaaa2f6c612e94592796 SHA512 245a13206c9211a3373e27459560de6559615eecbf1d1c3b05b88ad28785ed0f4c1bd4996dacfb014ef9750efa406ad1f66f54379ed31fee6145a7baf999a883
DIST notesnook-bin-3.3.3.arm64.AppImage 121047395 BLAKE2B 3a88805bce6f67e697d3597b88480f37d0f587154d3cee65b3cf98808580f09ca122e740c554969b6d9c57499f64250c9dfb2297a26187d5a71d9ff610dff841 SHA512 c1ea56d88d42bcdc8cfda36bea6bbeb88329d8383831f2908723180653c4c0c8aecf4bb7bb69ab5a132debff1d6507325d63e4a178c8ce134c2819c795e5947f
EBUILD notesnook-bin-3.3.3.ebuild 934 BLAKE2B 834250293860f83bea2ffafbea70a4ad96d0d76b2b52f9f140daeeeaefd05b596b1694cacad4ea86d00cc6588dde11b843f60b9a94afc6db2dd9ea4a713f61b3 SHA512 b3f78180a3132157a83fced6d2b7492a91c80bb3bdacb89ca1b062ed6bfbbc5112af0b1e3599f42c48cd0b9a895f3b6a19a8435520d00b11a7939d72041ee95d
MISC metadata.xml 975 BLAKE2B 215a8104669acf3be4083fc696442bbdd857db0e6a4cbc05164bbd2dfe260f79698362f7e505729aafbf8db228e8ac7c8298d730a778f8696265d3d67d294931 SHA512 60e73c4d77eb724856cafc6bbd481350c3e19ab616019abc19b73dbee9afbad5c270a4b45314c763ca9662e3ce72ab08075e2a0438e68ef9e7071334274b7d18

View File

@@ -2,5 +2,5 @@ AUX languagetool.desktop 191 BLAKE2B 726e670645f78c3ea11c788a6440116753d66cf9886
AUX languagetool.initd 473 BLAKE2B 74f55cfaf5b6c2e2fa166533c031408dc7e2e2b1882e6e09227af38e500f12481a551e8cec166620c73e671f00063cb63cc9dda500355110ff048d806dfa2d77 SHA512 fb9ab4fa28df1f43791995557fc4568ee79f7af7991481d295c28739c975c6648999676ea078ee852dc3dc9f49fbb9945c9dc571c385dd4db3d69ca5bf501623
AUX logo.svg 2824 BLAKE2B 7653478b44ebd3dc80691849751745aba14a652d1ffaf52ef27910a52fae15b39c9ef0224795f698b1ac6f95a3e677ee46603b29261dff0d50d9eedba5e09de5 SHA512 501e3dee99f762556774f42829a9e450fc412271a7ade87f17ffb211929d24564ea3385b2bfc1c261e46d4b0b3562be62903b111ecd1c7dacb97c3c8ffb0d6d5
DIST ltex-ls-plus-18.6.1.tar.gz 262920868 BLAKE2B d0d80f4b3236dde00b8df0b92fa946d5d39a8e5bea1c5f321ced8ac828f9622a242ac84e3dc6cf106fd29c5452e5b59040a82e20dca46ce354b724e192572883 SHA512 bd6c76dd991c677d7d6094aad1ec7e58930a4e91b67e067ee4a26c09dd11e1b466fdd73787336adac913171e1a41e3c6779bdf673ec66044a342fb1a5d5c1500
EBUILD ltex-ls-plus-18.6.1.ebuild 2585 BLAKE2B e72b92773bcbbfdada725108855ee0f0e18db283f6a11da682f0f9c21653d7db9b3e0a837d8281a4eeb5accd91de860c534fe0109c860f6b5319d7d98c08b162 SHA512 f234b1f9add7dc94fb69dd3977c88ffdc047a87d48d2cd8e7b4fff98b1c742670374913823340ce902c783be8d9b5076515f93f28b71b5c080a262e6d06c0a7a
EBUILD ltex-ls-plus-18.6.1.ebuild 2585 BLAKE2B 6756900277e658f40a894a97b22e6628722d8dee77f9a1a34ceacac38e6a568d603961a71b56b1a27bb1375a3b40261d54c7352a0ff13ff0627744f13f4d491f SHA512 088cab3d6229ec19202b44ba05f072d46fc687a7b5143435c6db59841ae176bab4a5a6048be30dfdd1641ef7bff7e2474d7e311a3e478e543237819bd325c243
MISC metadata.xml 347 BLAKE2B 1f1cb90d52bbc97720594eb2103791a23e462ae11155ce113740a310d39b40223b547e481c310299abcaaeb339068a9a3f97e4dcfa7cfeb1d75ef5449ab0ae7d SHA512 f27073ac2beba3ce58e2e68f58f80a9681d16fa1bc812c5aca7f00113213a14eab68b8acaafc46e9053107903e17c7e88db76a87951db17d4d89bb82f04fb704

View File

@@ -23,7 +23,7 @@ CP_DEPEND="
dev-java/commons-logging:0
dev-java/commons-text:0
dev-java/jackson-core:0
dev-java/jackson-annotations:2
dev-java/jackson-annotations:0
dev-java/jackson-databind:0
dev-java/jaxb-api:2
dev-java/jaxb-runtime:4

View File

@@ -2,5 +2,5 @@ AUX languagetool.desktop 191 BLAKE2B 726e670645f78c3ea11c788a6440116753d66cf9886
AUX languagetool.initd 473 BLAKE2B 74f55cfaf5b6c2e2fa166533c031408dc7e2e2b1882e6e09227af38e500f12481a551e8cec166620c73e671f00063cb63cc9dda500355110ff048d806dfa2d77 SHA512 fb9ab4fa28df1f43791995557fc4568ee79f7af7991481d295c28739c975c6648999676ea078ee852dc3dc9f49fbb9945c9dc571c385dd4db3d69ca5bf501623
AUX logo.svg 2824 BLAKE2B 7653478b44ebd3dc80691849751745aba14a652d1ffaf52ef27910a52fae15b39c9ef0224795f698b1ac6f95a3e677ee46603b29261dff0d50d9eedba5e09de5 SHA512 501e3dee99f762556774f42829a9e450fc412271a7ade87f17ffb211929d24564ea3385b2bfc1c261e46d4b0b3562be62903b111ecd1c7dacb97c3c8ffb0d6d5
DIST ltex-ls-16.0.0.tar.gz 243227042 BLAKE2B 94b3705e03a5fb6bdf127738d7f539bd28c21e225fb8ddf428a97dd12cbbaa5e7abb440341f3456495a631a32f8d5df070e98159450d53aecef82e3ecb6e22d4 SHA512 660a9763706ef9402c34b05cc7d1f977a848d9b1fb6f268ad5d4f1fca995df7e1cf82724b616a2efe016ca9880c6d7d07cb21132515c04343ab24642d0f73e0d
EBUILD ltex-ls-16.0.0.ebuild 2672 BLAKE2B 53252666416bf49977f1d7300aa1ebd9b674681de195f7c09c9132d1ef442a8b9b81b94a51f00a4dc962d0a3ae65a618a803a92cc5720fe0e47ec4f753ca4ee5 SHA512 bf9e95478ffeca825c00b75cd09238e4215ef38a1c65d4ce802c8049a4b64dba288db7cc2f28af8f03229168b2471aaf63c8c871f5c642be93caa0c6663d9520
EBUILD ltex-ls-16.0.0.ebuild 2672 BLAKE2B 82a28a3c3f2625ecef79debd2e4a6183f147124321fd9ab83c4245eb48683e1654eb1bc0847f7f48f8b738575caa0bd63e3c5688e3f7820ec462956b805f3363 SHA512 6403f74d3214888b47202087386f308b599222c637d55b7b87607ac44558c8a3d4c053f0389bf7bf2842bfc3432ae77485db27bb47a8f991cf6da59da3a3c534
MISC metadata.xml 341 BLAKE2B 079fcdfbb5074cf8f1eb5ae2ebc4c20e4047b8b4f5303e6c30756b87988584c93943d5064d1902deddae2729ea5bb06a4814075b46b05c9f717a49c004052f57 SHA512 f7143d9495597a9a51043c9bc6bdb66e6644982621c1e1802d2ad297a2398d2084c7147eb107f2b67c6ab5c68d53a8f0188bf10c8efc70ef0af102f483afd658

View File

@@ -22,7 +22,7 @@ CP_DEPEND="
dev-java/commons-logging:0
dev-java/commons-text:0
dev-java/jackson-core:0
dev-java/jackson-annotations:2
dev-java/jackson-annotations:0
dev-java/jackson-databind:0
dev-java/jaxb-api:2
dev-java/jaxb-runtime:4

View File

@@ -1,4 +1,4 @@
AUX qt6ct-shenanigans.patch 28824 BLAKE2B abd51a72a85178004949bc5cb644856cf258c5778a1b5d24a277f18f8f26009b795fffa29de2bd19cf9492c9a96b00dc55c335cb81cd56b173e3d4d0638b1e63 SHA512 4156f5b3abec2409ad005892b7905bfb58b089a413f6417007c02d4cc622603641b21dfc5b504758f7c815e56b6e834352ae8dd5233dd1f40a97573281f06680
AUX qt6ct-kde-0.11-r4.patch 32303 BLAKE2B f9b3fa88e77582f9c3e98e6c043a9f2cce21c7444a1e87a024c976445b1cc48464d17cf5f5670e5be86583be51cdfc6652d505c734a8d39d44ad3404f1b6adda SHA512 bdab42b50d56ddc56a5f6b77ec7527e9fa252b409ca5de668d40c55a0e9e02c02f976fbe497667fbfd8e468ae1e53d7a2d8fb7ea1b612241aec4e6380c1c7f02
DIST qt6ct-kde-0.11.tar.gz 154383 BLAKE2B 0baa02ae6b2a0bc6681e9f65a7c09ebc0ba267a72e0bb40294907f8c33adea005bef912660eda7e7108d5e0afc3a399184480121bde158cdb840c1427ed6ebdc SHA512 58d00f658360e7a7dd8d09a6a873bd9b21f112e596a72ce3ca9caeaba2a4336fbba18c93a8bdb1560f2875f40de1991d9500c5c52a8d8621c060f3bcc8d5545f
EBUILD qt6ct-kde-0.11-r2.ebuild 1400 BLAKE2B 82e31fa5f1c5e9d8c0782a20f006ac4ed7875282818b107b8a5c05754707dbab173bacc3b92e1cfe57c3ff4530b0c1119c9cf76243ced0b691631794501d1f43 SHA512 1199b51898e7aae2ef36a25fddd409afb8f57a1b92ae6c0f8b26907d20684ea98d8b41c8218147643e345c6324b64ff07a1f2d815b8d92d6d3c86d20fd30141f
EBUILD qt6ct-kde-0.11-r4.ebuild 1400 BLAKE2B 11667bd56272d724a36035185373d88d5b796ebb5dd2004a987e129534af61d06827ec14128eec5747f8024f85eb6633a6defd1dd91d648599d7ce2006fb9498 SHA512 9e7a57c1e4e22d186aabdcf7f34fc5c7c931fcb8b3b4ff552ccc4eb1c6ae872171bd7fb97f9775443f80c2c87582d36c4b7f8839b4431e177632755454331223
MISC metadata.xml 471 BLAKE2B a2021714574ce0ac3cf571ed8038d5fcbc0e5fdba8575396ef9220d870672da076b1b18ddc6a44f553304aa683208f284f9afd0db9effe387d810284d70a883c SHA512 24ab0e19b9d3c0f202d44f94cff971c4dac2331c927e52af5fda5b44826d0ba4d8d13b20470cd2b0952f3a192708321a867fa9197f62992f066b11b121e295eb

View File

@@ -194,10 +194,10 @@ index f3e9ef6..a05a9b7 100644
OTHER_FILES += qt6ct.json
diff --git a/src/qt6ct-qtplugin/qt6ctplatformtheme.cpp b/src/qt6ct-qtplugin/qt6ctplatformtheme.cpp
index 569b13f..3969621 100644
index 569b13f..0380ea6 100644
--- a/src/qt6ct-qtplugin/qt6ctplatformtheme.cpp
+++ b/src/qt6ct-qtplugin/qt6ctplatformtheme.cpp
@@ -41,38 +41,59 @@
@@ -41,38 +41,65 @@
#include <QStyleFactory>
#include <QApplication>
#include <QWidget>
@@ -238,8 +238,14 @@ index 569b13f..3969621 100644
if(QGuiApplication::desktopSettingsAware())
{
readSettings();
QMetaObject::invokeMethod(this, &Qt6CTPlatformTheme::applySettings, Qt::QueuedConnection);
-#ifdef QT_WIDGETS_LIB
- QMetaObject::invokeMethod(this, &Qt6CTPlatformTheme::applySettings, Qt::QueuedConnection);
#ifdef QT_WIDGETS_LIB
+ if(hasWidgets())
+ QMetaObject::invokeMethod(this, [=] {
+ m_style.reset(QStyleFactory::create(u"qt6ct-style"_s));
+ }, Qt::QueuedConnection);
+#endif
+ QMetaObject::invokeMethod(this, &Qt6CTPlatformTheme::applySettings, Qt::QueuedConnection);
QMetaObject::invokeMethod(this, &Qt6CTPlatformTheme::createFSWatcher, Qt::QueuedConnection);
+ //must be applied before Q_COREAPP_STARTUP_FUNCTION execution
+ if(Qt6CT::isKColorScheme(m_schemePath))
@@ -261,8 +267,41 @@ index 569b13f..3969621 100644
}
Qt6CTPlatformTheme::~Qt6CTPlatformTheme()
@@ -92,8 +113,8 @@ QPlatformDialogHelper *Qt6CTPlatformTheme::createPlatformDialogHelper(DialogType
@@ -90,10 +117,41 @@ QPlatformDialogHelper *Qt6CTPlatformTheme::createPlatformDialogHelper(DialogType
QGenericUnixTheme::createPlatformDialogHelper(type);
}
+#if QT_VERSION >= QT_VERSION_CHECK(6, 5, 0)
+Qt::ColorScheme Qt6CTPlatformTheme::colorScheme() const
+{
+ //m_inColorScheme prevents QPlatformTheme::palette -> QPlatformThemePrivate::initializeSystemPalette
+ //-> qt_fusionPalette -> Qt6CTPlatformTheme::colorScheme infinite recursion
+ if(m_isIgnored || m_inColorScheme)
+ return QGenericUnixTheme::colorScheme();
+
+ m_inColorScheme = true;
+#ifdef QT_WIDGETS_LIB
+ //follow QApplicationPrivate::basePalette() logic
+ QPalette palette = m_style ? m_style->standardPalette() : Qt::gray;
+ if(const QPalette *themePalette = this->palette())
+ palette = themePalette->resolve(palette);
+ palette.setResolveMask(0);
+ if (m_style)
+ m_style->polish(palette);
+#else
+ //follow QGuiApplicationPrivate::basePalette() logic
+ const QPalette palette = this->palette() ? *this->palette() : Qt::gray;
+#endif
+ m_inColorScheme = false;
+
+ return palette.windowText().color().lightness() > palette.window().color().lightness()
+ ? Qt::ColorScheme::Dark
+ : palette.windowText().color().lightness() < palette.window().color().lightness()
+ ? Qt::ColorScheme::Light
+ : QGenericUnixTheme::colorScheme();
+}
+#endif
+
const QPalette *Qt6CTPlatformTheme::palette(QPlatformTheme::Palette type) const
{
- if (type == QPlatformTheme::SystemPalette && !m_isIgnored)
@@ -272,7 +311,7 @@ index 569b13f..3969621 100644
return QGenericUnixTheme::palette(type);
}
@@ -148,6 +169,13 @@ QIcon Qt6CTPlatformTheme::fileIcon(const QFileInfo &fileInfo, QPlatformTheme::Ic
@@ -148,6 +206,13 @@ QIcon Qt6CTPlatformTheme::fileIcon(const QFileInfo &fileInfo, QPlatformTheme::Ic
return QIcon::fromTheme(type.iconName());
}
@@ -286,7 +325,7 @@ index 569b13f..3969621 100644
void Qt6CTPlatformTheme::applySettings()
{
if(!QGuiApplication::desktopSettingsAware() || m_isIgnored)
@@ -156,18 +184,18 @@ void Qt6CTPlatformTheme::applySettings()
@@ -156,18 +221,18 @@ void Qt6CTPlatformTheme::applySettings()
return;
}
@@ -311,7 +350,7 @@ index 569b13f..3969621 100644
Qt6CT::reloadStyleInstanceSettings();
}
@@ -193,25 +221,26 @@ void Qt6CTPlatformTheme::applySettings()
@@ -193,25 +258,28 @@ void Qt6CTPlatformTheme::applySettings()
if(m_update)
{
@@ -320,6 +359,8 @@ index 569b13f..3969621 100644
+ QWindowSystemInterface::handleThemeChange();
+ QCoreApplication::postEvent(qGuiApp, new QEvent(QEvent::ApplicationFontChange));
}
+ else if(hasWidgets()) //update color scheme after m_style has created
+ QWindowSystemInterface::handleThemeChange();
#ifdef QT_WIDGETS_LIB
if(hasWidgets() && m_update)
@@ -346,7 +387,7 @@ index 569b13f..3969621 100644
void Qt6CTPlatformTheme::createFSWatcher()
{
QFileSystemWatcher *watcher = new QFileSystemWatcher(this);
@@ -230,7 +259,6 @@ void Qt6CTPlatformTheme::updateSettings()
@@ -230,21 +298,16 @@ void Qt6CTPlatformTheme::updateSettings()
readSettings();
applySettings();
}
@@ -354,10 +395,10 @@ index 569b13f..3969621 100644
void Qt6CTPlatformTheme::readSettings()
{
@@ -238,13 +266,10 @@ void Qt6CTPlatformTheme::readSettings()
QSettings settings(Qt6CT::configFile(), QSettings::IniFormat);
settings.beginGroup("Appearance"_L1);
m_style = settings.value("style"_L1, u"Fusion"_s).toString();
- m_style = settings.value("style"_L1, u"Fusion"_s).toString();
- m_palette = *QGenericUnixTheme::palette(SystemPalette);
- QString schemePath = settings.value("color_scheme_path"_L1).toString();
- if(!schemePath.isEmpty() && settings.value("custom_palette"_L1, false).toBool())
@@ -372,7 +413,18 @@ index 569b13f..3969621 100644
m_iconTheme = settings.value("icon_theme"_L1).toString();
//load dialogs
if(!m_update)
@@ -262,10 +287,10 @@ void Qt6CTPlatformTheme::readSettings()
@@ -252,8 +315,9 @@ void Qt6CTPlatformTheme::readSettings()
//do not mix gtk2 style and gtk3 dialogs
QStringList keys = QPlatformThemeFactory::keys();
QString dialogs = settings.value("standard_dialogs"_L1, u"default"_s).toString();
+ QString style = settings.value("style"_L1, u"Fusion"_s).toString();
- if(m_style.endsWith(u"gtk2"_s) && dialogs == QLatin1String("gtk3"))
+ if(style.endsWith(u"gtk2"_s) && dialogs == QLatin1String("gtk3"))
dialogs = u"gtk2"_s;
if(keys.contains(dialogs))
m_theme.reset(QPlatformThemeFactory::create(dialogs));
@@ -262,10 +326,10 @@ void Qt6CTPlatformTheme::readSettings()
settings.endGroup();
settings.beginGroup("Fonts"_L1);
@@ -387,7 +439,7 @@ index 569b13f..3969621 100644
settings.endGroup();
settings.beginGroup("Interface"_L1);
@@ -354,3 +379,17 @@ QString Qt6CTPlatformTheme::loadStyleSheets(const QStringList &paths)
@@ -354,3 +418,17 @@ QString Qt6CTPlatformTheme::loadStyleSheets(const QStringList &paths)
content.replace(regExp, u"\n"_s);
return content;
}
@@ -406,10 +458,29 @@ index 569b13f..3969621 100644
+ return QObject::eventFilter(obj, e);
+}
diff --git a/src/qt6ct-qtplugin/qt6ctplatformtheme.h b/src/qt6ct-qtplugin/qt6ctplatformtheme.h
index b2a7bcf..e8cf68a 100644
index b2a7bcf..9327ef0 100644
--- a/src/qt6ct-qtplugin/qt6ctplatformtheme.h
+++ b/src/qt6ct-qtplugin/qt6ctplatformtheme.h
@@ -66,16 +66,19 @@ public:
@@ -43,6 +43,8 @@
#include <QFileInfo>
#include <memory>
+class QStyle;
+
Q_DECLARE_LOGGING_CATEGORY(lqt6ct)
class Qt6CTPlatformTheme : public QObject, public QGenericUnixTheme
@@ -58,6 +60,9 @@ public:
//virtual void showPlatformMenuBar() {}
virtual bool usePlatformNativeDialog(DialogType type) const override;
virtual QPlatformDialogHelper *createPlatformDialogHelper(DialogType type) const override;
+#if QT_VERSION >= QT_VERSION_CHECK(6, 5, 0)
+ virtual Qt::ColorScheme colorScheme() const override;
+#endif
virtual const QPalette *palette(Palette type = SystemPalette) const override;
virtual const QFont *font(Font type = SystemFont) const override;
virtual QVariant themeHint(ThemeHint hint) const override;
@@ -66,16 +71,19 @@ public:
//virtual QPixmap fileIconPixmap(const QFileInfo &fileInfo, const QSizeF &size,
// QPlatformTheme::IconOptions iconOptions = 0) const;
@@ -432,17 +503,29 @@ index b2a7bcf..e8cf68a 100644
private:
void readSettings();
@@ -83,8 +86,8 @@ private:
@@ -83,8 +91,8 @@ private:
bool hasWidgets();
#endif
QString loadStyleSheets(const QStringList &paths);
- QString m_style, m_iconTheme, m_userStyleSheet, m_prevStyleSheet;
- QPalette m_palette;
+ QString m_style, m_schemePath, m_iconTheme, m_userStyleSheet, m_prevStyleSheet;
+ QString m_schemePath, m_iconTheme, m_userStyleSheet, m_prevStyleSheet;
+ std::optional<QPalette> m_palette;
QFont m_generalFont, m_fixedFont;
int m_doubleClickInterval;
int m_cursorFlashTime;
@@ -96,7 +104,11 @@ private:
int m_wheelScrollLines = 3;
bool m_showShortcutsInContextMenus = false;
bool m_isIgnored = false;
+ mutable bool m_inColorScheme = false;
std::unique_ptr<QPlatformTheme> m_theme;
+#ifdef QT_WIDGETS_LIB
+ std::unique_ptr<QStyle> m_style;
+#endif
};
Q_DECLARE_LOGGING_CATEGORY(lqt6ct)
diff --git a/src/qt6ct-style/CMakeLists.txt b/src/qt6ct-style/CMakeLists.txt
index 5ab1c21..c8870b3 100644
--- a/src/qt6ct-style/CMakeLists.txt

View File

@@ -29,7 +29,7 @@ BDEPEND="
"
PATCHES=(
"${FILESDIR}/qt6ct-shenanigans.patch"
"${FILESDIR}/qt6ct-kde-0.11-r4.patch"
)
src_install() {

View File

@@ -8,6 +8,6 @@ LICENSE=GPL-3
RDEPEND=sys-fs/fuse:0
RESTRICT=strip
SLOT=0
SRC_URI=amd64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.2/notesnook_linux_x86_64.AppImage -> notesnook-bin-3.3.2.amd64.AppImage ) arm64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.2/notesnook_linux_arm64.AppImage -> notesnook-bin-3.3.2.arm64.AppImage )
SRC_URI=amd64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.3/notesnook_linux_x86_64.AppImage -> notesnook-bin-3.3.3.amd64.AppImage ) arm64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.3/notesnook_linux_arm64.AppImage -> notesnook-bin-3.3.3.arm64.AppImage )
_eclasses_=desktop 3a72ffe0d8e1dd73af3a1c8c15a59fed
_md5_=d6d19d36b02ef3cd40cc2fdd5bdfbde0

View File

@@ -6,8 +6,8 @@ HOMEPAGE=https://valentjn.github.io/ltex/
INHERIT=java-pkg-2
KEYWORDS=~amd64
LICENSE=MPL-2.0
RDEPEND=>=virtual/jre-1.8 dev-java/slf4j-api:0 dev-java/slf4j-nop:0 dev-java/guava:0 dev-java/icu4j:0 dev-java/jansi:2 dev-java/commons-lang:3.6 dev-java/commons-logging:0 dev-java/commons-text:0 dev-java/jackson-core:0 dev-java/jackson-annotations:2 dev-java/jackson-databind:0 dev-java/jaxb-api:2 dev-java/jaxb-runtime:4 dev-java/picocli:0 dev-java/protobuf-java:0 dev-java/stax2-api:0 dev-java/woodstox-core:0 dev-java/json:0 dev-java/j2objc-annotations:0 dev-java/istack-commons-runtime:0 dev-java/hamcrest-core:1.3 dev-java/failureaccess:0 dev-java/error-prone-annotations:0 dev-java/checker-framework-qual:0 dev-java/animal-sniffer-annotations:0 dev-java/fastinfoset:0 >=dev-java/java-config-2.2.0-r3
RDEPEND=>=virtual/jre-1.8 dev-java/slf4j-api:0 dev-java/slf4j-nop:0 dev-java/guava:0 dev-java/icu4j:0 dev-java/jansi:2 dev-java/commons-lang:3.6 dev-java/commons-logging:0 dev-java/commons-text:0 dev-java/jackson-core:0 dev-java/jackson-annotations:0 dev-java/jackson-databind:0 dev-java/jaxb-api:2 dev-java/jaxb-runtime:4 dev-java/picocli:0 dev-java/protobuf-java:0 dev-java/stax2-api:0 dev-java/woodstox-core:0 dev-java/json:0 dev-java/j2objc-annotations:0 dev-java/istack-commons-runtime:0 dev-java/hamcrest-core:1.3 dev-java/failureaccess:0 dev-java/error-prone-annotations:0 dev-java/checker-framework-qual:0 dev-java/animal-sniffer-annotations:0 dev-java/fastinfoset:0 >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/valentjn/ltex-ls/releases/download/16.0.0/ltex-ls-16.0.0.tar.gz
_eclasses_=java-utils-2 3febdd17a5820c438f6368dde60d4848 java-pkg-2 38fd81c7880666a00a638ca8deb64d72
_md5_=6da7d7a3165074a6870f4f337eae9123
_md5_=5774b0378a91db4c95b83531dadc7ded

View File

@@ -6,8 +6,8 @@ HOMEPAGE=https://ltex-plus.github.io/ltex-plus/
INHERIT=java-pkg-2
KEYWORDS=~amd64
LICENSE=MPL-2.0
RDEPEND=>=virtual/jre-1.8 dev-java/HdrHistogram:0 dev-java/slf4j-api:0 dev-java/slf4j-nop:0 dev-java/guava:0 dev-java/icu4j:0 dev-java/jansi:2 dev-java/commons-lang:3.6 dev-java/commons-logging:0 dev-java/commons-text:0 dev-java/jackson-core:0 dev-java/jackson-annotations:2 dev-java/jackson-databind:0 dev-java/jaxb-api:2 dev-java/jaxb-runtime:4 dev-java/picocli:0 dev-java/protobuf-java:0 dev-java/stax2-api:0 dev-java/woodstox-core:0 dev-java/json:0 dev-java/j2objc-annotations:0 dev-java/istack-commons-runtime:0 dev-java/hamcrest-core:1.3 dev-java/failureaccess:0 dev-java/error-prone-annotations:0 >=dev-java/java-config-2.2.0-r3
RDEPEND=>=virtual/jre-1.8 dev-java/HdrHistogram:0 dev-java/slf4j-api:0 dev-java/slf4j-nop:0 dev-java/guava:0 dev-java/icu4j:0 dev-java/jansi:2 dev-java/commons-lang:3.6 dev-java/commons-logging:0 dev-java/commons-text:0 dev-java/jackson-core:0 dev-java/jackson-annotations:0 dev-java/jackson-databind:0 dev-java/jaxb-api:2 dev-java/jaxb-runtime:4 dev-java/picocli:0 dev-java/protobuf-java:0 dev-java/stax2-api:0 dev-java/woodstox-core:0 dev-java/json:0 dev-java/j2objc-annotations:0 dev-java/istack-commons-runtime:0 dev-java/hamcrest-core:1.3 dev-java/failureaccess:0 dev-java/error-prone-annotations:0 >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/ltex-plus/ltex-ls-plus/releases/download/18.6.1/ltex-ls-plus-18.6.1.tar.gz
_eclasses_=java-utils-2 3febdd17a5820c438f6368dde60d4848 java-pkg-2 38fd81c7880666a00a638ca8deb64d72
_md5_=40ba3434e425c236c561af37d56f1832
_md5_=42d97d1b8420e40580afc4f0a4deb3c5

File diff suppressed because one or more lines are too long

View File

@@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_11 python_targets_python3_12 python_tar
RESTRICT=bindist mirror strip test
SLOT=0/13.0.2
SRC_URI=amd64? ( https://developer.download.nvidia.com/compute/cuda/13.0.2/local_installers/cuda_13.0.2_580.95.05_linux.run ) arm64? ( https://developer.download.nvidia.com/compute/cuda/13.0.2/local_installers/cuda_13.0.2_580.95.05_linux_sbsa.run )
_eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b edo a5e294016aa84979fcb2459749eb80b2 toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 multiprocessing 1e32df7deee68372153dca65f4a7c21f python-utils-r1 0b620dd604ab8af0bc9cd1bcc66d4f7c python-r1 0e15b2ab9cfc87d7474678201d6bca38
_eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b edo a5e294016aa84979fcb2459749eb80b2 toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 multiprocessing 1e32df7deee68372153dca65f4a7c21f python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 python-r1 0e15b2ab9cfc87d7474678201d6bca38
_md5_=7971bd59bfec92dad415e0f6f004e4d8

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@@ -10,5 +10,5 @@ LICENSE=BSD-2
RDEPEND=dev-qt/qtbase:6=[gui,widgets] dev-qt/qtsvg:6
SLOT=0
SRC_URI=https://www.opencode.net/trialuser/qt6ct/-/archive/0.11/qt6ct-0.11.tar.gz -> qt6ct-kde-0.11.tar.gz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 3d9a5fc17dadea162813d5d8918328b4
_md5_=8411b0fc56f26a5c5e15a6e5834c7b51
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 2d36accef058c00889b1f93ea4bc4061
_md5_=24bc107d2c19e087d0365f3b86bb5e5c

View File

@@ -11,5 +11,5 @@ LICENSE=MIT
RDEPEND=dev-libs/stb:= media-libs/libglvnd[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] media-libs/glew[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] allegro5? ( media-libs/allegro:5[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) glfw? ( media-libs/glfw:0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] x11-libs/libX11:0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl2? ( media-libs/libsdl2[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl2-renderer? ( media-libs/libsdl2[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl3? ( media-libs/libsdl3[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl3-renderer? ( media-libs/libsdl3[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) opengl? ( media-libs/mesa[opengl,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) vulkan? ( media-libs/vulkan-loader[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) webgpu? ( dev-util/webgpu-headers )
SLOT=0/1.92.4
SRC_URI=https://github.com/ocornut/imgui/archive/v1.92.4-docking.tar.gz -> imgui-1.92.4-docking.tar.gz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 0b620dd604ab8af0bc9cd1bcc66d4f7c meson 99466844dd8d4fcfb07578a76f5a9922 out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 multilib a199af442898963433d6f038a88cce9c multilib-build 9ac26ea006828266d235e2f0135429b5 multilib-minimal e9f54d75b074edc47d36994bbc1e2123 meson-multilib 8989922d980e5e870cc3de949d1b2586
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 meson 99466844dd8d4fcfb07578a76f5a9922 out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 multilib a199af442898963433d6f038a88cce9c multilib-build 9ac26ea006828266d235e2f0135429b5 multilib-minimal e9f54d75b074edc47d36994bbc1e2123 meson-multilib 8989922d980e5e870cc3de949d1b2586
_md5_=ae3367261969f03a8cef67cb2bdd9366

View File

@@ -10,5 +10,5 @@ LICENSE=GPL-2
RDEPEND=>=media-video/obs-studio-31.0.0 dev-qt/qtbase:6[network,widgets] >=media-video/ndi-sdk-6.0:0= net-misc/curl
SLOT=0
SRC_URI=https://github.com/distroav/distroav/archive/6.1.1.tar.gz -> distroav-6.1.1.gh.tar.gz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 3d9a5fc17dadea162813d5d8918328b4
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 2d36accef058c00889b1f93ea4bc4061
_md5_=8dade3e3129d6d2c81a4b766fc71d697

View File

@@ -12,6 +12,6 @@ RDEPEND=>=app-arch/brotli-1.1.0:= dev-db/sqlite:3 >=dev-libs/libuv-1.51.0:= >=de
REQUIRED_USE=inspector? ( icu ssl ) npm? ( ssl ) system-icu? ( icu ) system-ssl? ( ssl ) x86? ( cpu_flags_x86_sse2 )
RESTRICT=!test? ( test )
SLOT=0/25
SRC_URI=https://nodejs.org/dist/v25.0.0/node-v25.0.0.tar.xz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db bash-completion-r1 767861f3744f589ee5291c1698b1c082 check-reqs 2a9731073c152554078a9a8df8fc0f1b flag-o-matic a7afe42e95fb46ce9691605acfb24672 linux-info efd923656513c879204fec6638eadee5 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 pax-utils 5555f2e75744739fe100ee62c22d28fe python-utils-r1 0b620dd604ab8af0bc9cd1bcc66d4f7c python-any-r1 891415dfe39ad9b41b461f2b86354af0 xdg-utils 42869b3c8d86a70ef3cf75165a395e09
SRC_URI=https://nodejs.org/dist/v25.1.0/node-v25.1.0.tar.xz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db bash-completion-r1 767861f3744f589ee5291c1698b1c082 check-reqs 2a9731073c152554078a9a8df8fc0f1b flag-o-matic a7afe42e95fb46ce9691605acfb24672 linux-info efd923656513c879204fec6638eadee5 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 pax-utils 5555f2e75744739fe100ee62c22d28fe python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 python-any-r1 891415dfe39ad9b41b461f2b86354af0 xdg-utils 42869b3c8d86a70ef3cf75165a395e09
_md5_=1058b6bb3c2fc37c4fa4375f0374e036

File diff suppressed because one or more lines are too long

View File

@@ -1,4 +1,4 @@
BDEPEND=verify-sig? ( sec-keys/openpgp-keys-qbittorrent ) >=dev-qt/qttools-6.5:6[linguist] virtual/pkgconfig app-alternatives/ninja >=dev-build/cmake-3.28.5 virtual/pkgconfig verify-sig? ( app-crypt/gnupg >=app-portage/gemato-20 )
BDEPEND=verify-sig? ( sec-keys/openpgp-keys-qbittorrent ) >=dev-qt/qttools-6.5:6[linguist] virtual/pkgconfig app-alternatives/ninja >=dev-build/cmake-3.28.5 virtual/pkgconfig verify-sig? ( || ( app-alternatives/gpg app-crypt/gnupg[-alternatives(-)] ) >=app-portage/gemato-20 )
DEFINED_PHASES=compile configure install postinst postrm preinst prepare test unpack
DEPEND=>=dev-libs/openssl-3.0.2:= >=dev-qt/qtbase-6.5:6[network,ssl,sql,sqlite,xml] >=net-libs/libtorrent-rasterbar-2.0.10:= >=sys-libs/zlib-1.2.11 gui? ( >=dev-qt/qtbase-6.5:6[dbus?,gui,widgets] >=dev-qt/qtsvg-6.5:6 ) webui? ( acct-group/qbittorrent acct-user/qbittorrent ) >=dev-libs/boost-1.76
DESCRIPTION=BitTorrent client in C++ and Qt
@@ -14,5 +14,5 @@ REQUIRED_USE=|| ( gui webui ) dbus? ( gui )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://downloads.sourceforge.net/qbittorrent/qbittorrent-5.1.2.tar.xz verify-sig? ( https://downloads.sourceforge.net/qbittorrent/qbittorrent-5.1.2.tar.xz.asc )
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 3d9a5fc17dadea162813d5d8918328b4 edo a5e294016aa84979fcb2459749eb80b2 out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 optfeature 538bce96e5589935b57e178e8635f301 systemd a964c0cbe818b5729da1dbfcee5be861 eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd verify-sig 4e83419d7fb5d336f6a4de8193968319 xdg 3ef49a87c52c8b77c476351195dfe575
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 2d36accef058c00889b1f93ea4bc4061 edo a5e294016aa84979fcb2459749eb80b2 out-of-source-utils dbf9e34ee8964084651e25907fa8f52c multibuild 4650a65187015567b4e041bb9bfdb364 optfeature 538bce96e5589935b57e178e8635f301 systemd a964c0cbe818b5729da1dbfcee5be861 eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd verify-sig 2cf23b136af9fd4c3fceadc34d0f98ad xdg 3ef49a87c52c8b77c476351195dfe575
_md5_=1c79aac6dc9aecb67be85380d7675bb5

View File

@@ -0,0 +1,15 @@
BDEPEND=|| ( dev-lang/python:3.14 dev-lang/python:3.13 dev-lang/python:3.12 ) dev-build/make >=dev-build/cmake-3.28.5
DEFINED_PHASES=compile configure install prepare pretend setup test
DEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
DESCRIPTION=The Lean Theorem Prover
EAPI=8
HOMEPAGE=https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
INHERIT=check-reqs cmake flag-o-matic python-any-r1
IUSE=debug source
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
SLOT=0/4
SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.0-rc2.tar.gz -> lean-4.25.0_rc2.tar.gz
_eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 2d36accef058c00889b1f93ea4bc4061 python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 python-any-r1 891415dfe39ad9b41b461f2b86354af0
_md5_=48760dee67524d93db9a50cffcacb957

View File

@@ -12,5 +12,5 @@ RDEPEND=>=dev-libs/glib-2.72:2 x11-libs/cairo[X,xcb(+)] x11-libs/gdk-pixbuf:2 x1
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/davatorium/rofi/releases/download/2.0.0/rofi-2.0.0.tar.xz
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 0b620dd604ab8af0bc9cd1bcc66d4f7c meson 99466844dd8d4fcfb07578a76f5a9922 xdg-utils 42869b3c8d86a70ef3cf75165a395e09
_eclasses_=toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 meson 99466844dd8d4fcfb07578a76f5a9922 xdg-utils 42869b3c8d86a70ef3cf75165a395e09
_md5_=188133d28dc689f2f342bcd2a71c199b

View File

@@ -1,4 +1,4 @@
AUX nodejs-24.1.0-paxmarking.patch 3496 BLAKE2B 128a05fb3bc040edfd53221d5744a0626a0f64b7ba46dac94dc0df0d57631017f2da839e06ce769194a8519dcb7feebbede7cef9743323fded5044694a8eb4cc SHA512 3fae2c3bb0f90bd84e147a7fb740f12fab93843ef8f3a2ecf07359582222f86e9793b49b624894fa244f4d9159ac897e1b32d014a6fffbd0d687a1c0996e4240
DIST node-v25.0.0.tar.xz 53218272 BLAKE2B 01d9a870e04e1711893f7459441e6450c2b4aece9a41cda704f9a65fb246dacd02637048303372e7af9010d1e657199346847ba2b466bad1fa1945670d5c6426 SHA512 aee38797a95755efeb6b0db939fa03c205f77674fe33a27d21388b6be4d85114cd0a1593399c52721de6c48e7d969fed40ec10dbcfca2f00ef8495cedb503943
EBUILD nodejs-25.0.0.ebuild 8059 BLAKE2B 3bf30b90f580ec3ccc6819af50a005bff5fbd04a9556899479ea0eeabdc96d0c789a3d074603b0d73b0c4f4f7585a56acaa624aeb2ba2fe7633ad773952e1e73 SHA512 1c462b84cd579774c257c23968a6d987f7aca02ce999a3290a7aa5419ab7580a4ccae1fa24565b98d5801a9239fb5f96ae75ab531dba7b19e0427bc00d2c4ae6
DIST node-v25.1.0.tar.xz 52248056 BLAKE2B d2f7eabe13634353cea0e0fd9187e4dac6d6d49f328b7671866c561f067892c0b207fad1c3a7fe54c38d216196e18cbba7eb90dd524a2c358b33b683abaa7743 SHA512 467c9961c9937ac155cea53c02eece2294581feacf19b69eec7138f0b747f244a3a7fa1d7d760ac4911bd44db2d27a82dc68205171e2de9d54731eb464a95c10
EBUILD nodejs-25.1.0.ebuild 8059 BLAKE2B 3bf30b90f580ec3ccc6819af50a005bff5fbd04a9556899479ea0eeabdc96d0c789a3d074603b0d73b0c4f4f7585a56acaa624aeb2ba2fe7633ad773952e1e73 SHA512 1c462b84cd579774c257c23968a6d987f7aca02ce999a3290a7aa5419ab7580a4ccae1fa24565b98d5801a9239fb5f96ae75ab531dba7b19e0427bc00d2c4ae6
MISC metadata.xml 831 BLAKE2B 4287b5f13da7f0c62751c74ed7f60f8ac083bc41e9aecafcded470498151f0ccdd50c9546d1717f5bf19aad7711664f80d8609ac7458bdc4dcd6b71f6fd7d295 SHA512 798957ac5be1a56fd2270c19cfc4fc12b9f4aa7291de3bfd0abc574a86b7d286e3421bf66027817186c1dacd9a64da322b2cc555184a5e0bafbb526fcea9942a

View File

@@ -0,0 +1,3 @@
DIST lean-4.25.0_rc2.tar.gz 50072895 BLAKE2B bf081912fd8896a3916ef95af97cfd63646f13cc3c0b397966a8195d34e60ca500562c48565fb27eeca5b51d90a3dcd1f5dd20507b1f3bae83d7d16b6c1c2d78 SHA512 1f99b0c85188ad66d4d161f1ef886449999d891e09c92af6018937e4fdbc56cfb05de3eee6e666ae0cec85075f8d517dbd27fc14361854f7f1a939b6c9d41687
EBUILD lean-4.25.0_rc2.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2

View File

@@ -0,0 +1,103 @@
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
MAJOR="$(ver_cut 1)"
CMAKE_MAKEFILE_GENERATOR="emake"
PYTHON_COMPAT=( python3_{12..14} )
inherit check-reqs cmake flag-o-matic python-any-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/
https://github.com/leanprover/lean4/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/leanprover/${PN}${MAJOR}"
else
SRC_URI="https://github.com/leanprover/${PN}${MAJOR}/archive/refs/tags/v${PV/_/-}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}"
KEYWORDS="~amd64"
fi
LICENSE="Apache-2.0"
SLOT="0/${MAJOR}"
IUSE="debug source"
RDEPEND="
dev-libs/gmp:=
dev-libs/libuv:=
sci-mathematics/cadical
"
DEPEND="
${RDEPEND}
"
BDEPEND="
${PYTHON_DEPS}
"
CHECKREQS_DISK_BUILD="4G"
CHECKREQS_DISK_USR="2G"
# Built by lean's build tool.
QA_FLAGS_IGNORED="
usr/lib/lean/libInit_shared.so
usr/lib/lean/libleanshared_1.so
"
pkg_setup() {
python-any-r1_pkg_setup
}
src_prepare() {
filter-lto
sed -e "s|-O[23]|${CFLAGS}|g" -i ./src/CMakeLists.txt || die
cmake_src_prepare
}
src_configure() {
local CMAKE_BUILD_TYPE=""
if use debug ; then
CMAKE_BUILD_TYPE="Debug"
else
CMAKE_BUILD_TYPE="Release"
fi
local -a mycmakeargs=(
-DCCACHE="OFF"
-DGIT_HASH="OFF"
-DUSE_MIMALLOC="OFF"
-DINSTALL_LICENSE="OFF"
-DINSTALL_CADICAL="OFF"
-DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
-DLEAN_EXTRA_LINKER_FLAGS="${LDFLAGS}"
-DLEAN_EXTRA_MAKE_OPTS="-s 262144"
-DLEANC_EXTRA_FLAGS="${CFLAGS}"
)
cmake_src_configure
}
src_compile() {
ulimit -s 30000000 || eerror "Failed to set required ulimit. Build may fail!"
cmake_src_compile
}
src_install() {
cmake_src_install
if ! use source ; then
rm -r "${ED}/usr/src" || die
fi
}

View File

@@ -0,0 +1,22 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription>
The Lean theorem prover is a proof assistant developed principally
by Leonardo de Moura at Microsoft Research. Lean is a functional
programming language that makes it easy to write correct and
maintainable code. You can also use Lean as an interactive theorem
prover. Lean programming primarily involves defining types and
functions. This allows your focus to remain on the problem domain and
manipulating its data, rather than the details of programming.
</longdescription>
<upstream>
<bugs-to>https://github.com/leanprover/lean4/issues</bugs-to>
<remote-id type="github">leanprover/lean4</remote-id>
</upstream>
</pkgmetadata>