From 492ee4f83bbb803e0135cc42d8a0d80d5e1787ad Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Fri, 25 Jan 2019 09:28:53 +0100 Subject: gnu: coq-mathcomp: Use INVOKE. * gnu/packages/coq.scm (coq-mathcomp)[arguments]: Unconditionally return #T from build phases. --- gnu/packages/coq.scm | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'gnu/packages') diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 2d603f91d5..076aa7f7b9 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -295,15 +295,14 @@ assistant.") (modify-phases %standard-phases (delete 'configure) (add-before 'build 'chdir - (lambda _ - (chdir "mathcomp"))) + (lambda _ (chdir "mathcomp") #t)) (replace 'install (lambda* (#:key outputs #:allow-other-keys) (setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/")) - (zero? (system* "make" "-f" "Makefile.coq" - (string-append "COQLIB=" (assoc-ref outputs "out") - "/lib/coq/") - "install"))))))) + (invoke "make" "-f" "Makefile.coq" + (string-append "COQLIB=" (assoc-ref outputs "out") + "/lib/coq/") + "install")))))) (home-page "https://math-comp.github.io/math-comp/") (synopsis "Mathematical Components for Coq") (description "Mathematical Components for Coq has its origins in the formal -- cgit v1.2.3 td>
path: root/gnu/packages/kde.scm
AgeCommit message (Expand)Author
2023-09-17gnu: Remove extraneous imports....Found by running 'guild compile -W3 gnu/packages/$module.scm', using guild from the upcoming Guile. * gnu/packages/admin.scm: Remove extraneous imports. * gnu/packages/avr.scm: Likewise. * gnu/packages/base.scm: Likewise. * gnu/packages/bootloaders.scm: Likewise. * gnu/packages/firmware.scm: Likewise. * gnu/packages/linphone.scm: Likewise. * gnu/packages/telephony.scm: Likewise. * gnu/packages/cran.scm: Likewise. * gnu/packages/kde.scm: Likewise. * gnu/packages/libcanberra.scm: Likewise. * gnu/packages/libreoffice.scm: Likewise. * gnu/packages/mes.scm: Likewise. * gnu/packages/mingw.scm: Likewise. * gnu/packages/serialization.scm: Likewise. * gnu/packages/sync.scm: Likewise. * gnu/packages/syncthing.scm: Likewise. * gnu/packages/terminals.scm: Likewise. * gnu/packages/version-control.scm: Likewise. * gnu/packages/video.scm: Likewise. * gnu/packages/wm.scm: Likewise. * gnu/packages/emulators.scm: Likewise. Reviewed-by: Ludovic Courtès <ludo@gnu.org> Maxim Cournoyer
2023-09-05gnu: kdenlive: Add missing kirigami input....* gnu/packages/kde.scm (kdenlive): Add input kirigami. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> antlers
2023-08-13gnu: Add kcolorchooser....* gnu/packages/kde.scm (kcolorchooser): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-13gnu: Add kolourpaint....* gnu/packages/kde.scm (kolourpaint): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-13gnu: Add kompare....* gnu/packages/kde.scm (kompare): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-13gnu: Add kommit....* gnu/packages/kde.scm (kommit): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-13gnu: Add gwenview....* gnu/packages/kde.scm (gwenview): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-12gnu: kio-extras: Add more inputs....* gnu/packages/kde.scm (kio-extras)[inputs]: Add gperf, imath, kactivities, kactivities-stats, kbookmarks, kdsoap, libimobiledevice, libkexiv2, libmtp, libplist, libssh, libtirpc, openexr, phonon, samba, shared-mime-info, taglib and zlib. [native-inputs]: Add pkg-config. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Sughosha
2023-08-09gnu: akregator: Add missing ktextaddons to inputs....* gnu/packages/kde.scm (akregator)[inputs]: Add ktextaddons. 宋文武
2023-08-03gnu: akregator: Update to 23.04.3....* gnu/packages/kde.scm (akregator): Update to 23.04.3. 宋文武
2023-08-03gnu: qca: Update to 2.3.7....* gnu/packages/kde.scm (qca): Update to 2.3.7. 宋文武
2023-08-03gnu: kirigami-addons: Update to 0.10.0....* gnu/packages/kde.scm (kirigami-addons): Update to 0.10.0. 宋文武
2023-08-03gnu: kdevelop: Update to 23.04.3....* gnu/packages/kde.scm (kdevelop): Update to 23.04.3. [arguments]: Use G-Expressions, adjust add-include-path phase. 宋文武
2023-08-02gnu: kio-extras: Update to 23.04.3....* gnu/packages/kde.scm (kio-extras): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kpublictransport: Use G-expressions....* gnu/packages/kde.scm (kpublictransport)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kpublictransport: Update to 23.04.3....* gnu/packages/kde.scm (kpublictransport): Update to 23.04.3. [native-inputs]: Add tzdata-for-tests. [inputs]: Add networkmanager-qt, ki18n. [arguments]: Enable all tests, add check-setup phase. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kdevelop-pg-qt: Update to 2.2.2....* gnu/packages/kde.scm (kdevelop-pg-qt): Update to 2.2.2. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: okular: Update to 23.04.3....* gnu/packages/kde.scm (okular): Update to 23.04.3. [native-inputs]: Add desktop-file-utils. [inputs]: Add qtx11extras. [arguments]: Use G-expressions, move check phase after install phase, add check-setup phase. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: marble-qt: Use G-expressions....* gnu/packages/kde.scm (marble-qt)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: marble-qt: Update to 23.04.3....* gnu/packages/kde.scm (marble-qt): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kopeninghours: Use G-expressions....* gnu/packages/kde.scm (kopeninghours)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kopeninghours: Update to 23.04.3....* gnu/packages/kde.scm (kopeninghours): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kosmindoormap: Update to 23.04.3....* gnu/packages/kde.scm (kosmindoormap): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kpmcore: Use G-expressions....* gnu/packages/kde.scm (kpmcore)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kpmcore: Update to 23.04.3....* gnu/packages/kde.scm (kpmcore): Update to 23.04.3. [arguments]: enable tests. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kdeconnect: Use G-expressions....* gnu/packages/kde.scm (kdeconnect)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kdeconnect: Update to 23.04.3....* gnu/packages/kde.scm (kdeconnect): Update to 23.04.3. [native-inputs]: Add wayland-protocols. [inputs]: Add modemmanager-qt, libxkbcommon. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kirigami-addons: Update to 0.9.0....* gnu/packages/kde.scm (kirigami-addons): Update to 0.9.0. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: ktimer: Update to 23.04.3....* gnu/packages/kde.scm (ktimer): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kcachegrind: Update to 23.04.3....* gnu/packages/kde.scm (kcachegrind): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: libkdegames: Update to 23.04.3....* gnu/packages/kde.scm (libkdegames): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: libkexiv2: Update to 23.04.3....* gnu/packages/kde.scm (libkexiv2): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kdegraphics-mobipocket: Update to 23.04.3....* gnu/packages/kde.scm (kdegraphics-mobipocket): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: poxml: Update to 23.04.3....* gnu/packages/kde.scm (poxml): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: kdf: Update to 23.04.3....* gnu/packages/kde.scm (kdf): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: qca: Update to 2.3.6....* gnu/packages/kde.scm (qca): Update to 2.3.6. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: libkomparediff2: Update to 23.04.3....* gnu/packages/kde.scm (libkomparediff2): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: baloo-widgets: Update to 23.04.3....* gnu/packages/kde.scm (baloo-widgets): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-08-02gnu: grantleetheme: Update to 23.04.3....* gnu/packages/kde.scm (grantleetheme): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie
2023-07-23gnu: fuse@3: Bind to default FUSE variable....* gnu/packages/linux.scm (fuse): Rename this… (fuse-2): …to this, and… (fuse-3): …rename this… (fuse): …to this! (fuse-static): Rename this… (fuse-2-static): …to this. Adjust all users. Tobias Geerinckx-Rice