Package Details: pvs 7.1.0-5

Git Clone URL: https://aur.archlinux.org/pvs.git (read-only, click to copy)
Package Base: pvs
Description: Mechanized environment for formal specification and verification
Upstream URL: https://pvs.csl.sri.com
Provides: pvs
Submitter: kalex
Maintainer: None
Last Packager: kalex
Votes: 0
Popularity: 0.000000
First Submitted: 2023-03-02 13:43 (UTC)
Last Updated: 2023-03-07 14:50 (UTC)

Latest Comments

jedbrown commented on 2024-05-22 19:42 (UTC) (edited on 2024-05-22 20:26 (UTC) by jedbrown)

EDIT: My mistake; it succeeds if I hide emacs-30.0.50 to ensure that emacs-29.3 is used. (Presumably an upstream fix will be needed for the next Emacs release.) I think this package should install an /etc/profile.d/pvs.sh to set paths correctly so that pvs can work out of the box.

The build is currently failing.

[...]
  load-with-code-conversion("/home/jed/.cache/yay/pvs/src/pvs-7.1.0/emacs/pvs-byte-compile.el" "/home/jed/.cache/yay/pvs/src/pvs-7.1.0/emacs/pvs-byte-compile.el" nil t)
  command-line-1(("-l" "pvs-byte-compile.el"))
  command-line()
  normal-top-level()
Wrong type argument: sequencep, #<subr lisp-mode>
!!! Something went wrong
==> Entering fakeroot environment...
==> Starting package()...
[... completes packaging, but the package is incomplete ...]