Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] [Help with cmake needed] New package: lean-community-3.40.0
@ 2022-03-01 16:20 tornaria
  2022-03-01 16:24 ` tornaria
                   ` (12 more replies)
  0 siblings, 13 replies; 14+ messages in thread
From: tornaria @ 2022-03-01 16:20 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 5602 bytes --]

There is a new pull request by tornaria against master on the void-packages repository

https://github.com/tornaria/void-packages lean-community
https://github.com/void-linux/void-packages/pull/35907

[Help with cmake needed] New package: lean-community-3.40.0
This is an updated version of #32559.

Recently (maybe a cmake update) there is a test failure that seems to be related to cmake. Here's the relevant part of the output of `./xbps-src check lean-community`:
```
[0/1] Running tests...
Test project /builddir/lean-3.40.0/src/build
          Start    1: style_check
   1/1427 Test    #1: style_check .................................................***Failed   26.22 sec
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:0:  No copyright message found.  You should have a line: "Copyright [year] <Copyright Owner>"  [legal/copyright] [5]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:50:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:54:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:130:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:139:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:149:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:154:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:291:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:313:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:670:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:675:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:681:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:688:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:689:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:690:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:699:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:704:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:710:  Missing space after ,  [whitespace/comma] [3]
/builddir/lean-3.40.0/src/build/CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp:768:  { should almost always be at the end of the previous line  [whitespace/braces] [4]
/builddir/lean-3.40.0/src/build/githash.h:0:  No copyright message found.  You should have a line: "Copyright [year] <Copyright Owner>"  [legal/copyright] [5]
/builddir/lean-3.40.0/src/build/version.h:0:  No copyright message found.  You should have a line: "Copyright [year] <Copyright Owner>"  [legal/copyright] [5]
Total errors found: 21
```

This may be related to the following warning that is output by `./xbps-src configure lean-community`:
```
CMake Warning (dev):
  Policy CMP0058 is not set: Ninja requires custom command byproducts to be
  explicit.  Run "cmake --help-policy CMP0058" for policy details.  Use the
  cmake_policy command to set the policy and suppress this warning.

  This project specifies custom command DEPENDS on files in the build tree
  that are not specified as the OUTPUT or BYPRODUCTS of any
  add_custom_command or add_custom_target:

   CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp

  For compatibility with versions of CMake that did not have the BYPRODUCTS
  option, CMake is generating phony rules for such files to convince 'ninja'
  to build.

  Project authors should add the missing BYPRODUCTS or OUTPUT options to the
  custom commands that produce these files.
This warning is for project developers.  Use -Wno-dev to suppress it.
```

Any help with this is appreciated. I'm sure this was working ok recently.

Another issue is a test failing on i686 only (cf https://github.com/leanprover-community/lean/issues/685) is there an easy way to disable a particular test for i686?

A patch file from https://github.com/void-linux/void-packages/pull/35907.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-community-35907.patch --]
[-- Type: text/x-diff, Size: 1348 bytes --]

From 78117fb96d1802318b3dbd141a8eb74874777505 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Tue, 1 Mar 2022 12:58:43 -0300
Subject: [PATCH] New package: lean-community-3.40.0

---
 srcpkgs/lean-community/template | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 srcpkgs/lean-community/template

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
new file mode 100644
index 000000000000..1ff836ce7dea
--- /dev/null
+++ b/srcpkgs/lean-community/template
@@ -0,0 +1,21 @@
+# Template file for 'lean-community'
+pkgname=lean-community
+version=3.40.0
+revision=1
+wrksrc="lean-$version"
+build_wrksrc=src
+build_style=cmake
+configure_args="-DUSE_GITHASH=OFF"
+hostmakedepends="python3"
+makedepends="gmp-devel"
+short_desc="Lean Theorem Prover, maintained by the Lean community"
+maintainer="Gonzalo Tornaría <tornaria@cmat.edu.uy>"
+license="Apache-2.0"
+homepage="https://leanprover-community.github.io/"
+changelog="https://raw.githubusercontent.com/leanprover-community/lean/master/doc/changes.md"
+distfiles="https://github.com/leanprover-community/lean/archive/v${version}.tar.gz"
+checksum=955496d97b2193fea3609a3f3f7ad9cab6413e0d0ea6c1a03d6c1656a2ec08ef
+
+if [ -n "$CROSS_BUILD" ]; then
+	configure_args+=" -DCROSS_COMPILE=ON"
+fi

^ permalink raw reply	[flat|nested] 14+ messages in thread

end of thread, other threads:[~2022-11-17 10:18 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-01 16:20 [PR PATCH] [Help with cmake needed] New package: lean-community-3.40.0 tornaria
2022-03-01 16:24 ` tornaria
2022-03-01 16:26 ` leahneukirchen
2022-03-01 16:30 ` leahneukirchen
2022-03-01 18:13 ` [PR PATCH] [Updated] " tornaria
2022-03-01 18:25 ` tornaria
2022-03-08 11:39 ` New package: lean3-community-3.40.0 ram02z
2022-05-10  1:26 ` [PR PATCH] [Updated] " tornaria
2022-05-10  2:57 ` tornaria
2022-05-27 21:01 ` New package: lean3-community-3.42.1 Eloitor
2022-08-29  2:14 ` github-actions
2022-09-12  2:15 ` [PR PATCH] [Closed]: " github-actions
2022-11-17  8:28 ` Eloitor
2022-11-17 10:18 ` Eloitor

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).