Package Details: prover9 2009.11A-3

Git Clone URL: (read-only, click to copy)
Package Base: prover9
Description: Prover9 is an automated theorem prover for first-order and equational logic
Upstream URL:
Licenses: GPL
Provides: ladr, mace4
Submitter: None
Maintainer: soimort
Last Packager: soimort
Votes: 8
Popularity: 0.000000
First Submitted: 2011-03-20 22:36 (UTC)
Last Updated: 2021-04-25 10:51 (UTC)

Latest Comments

micwoj92 commented on 2021-04-25 10:58 (UTC)

Thank you for finally updating this package.

micwoj92 commented on 2021-04-11 04:28 (UTC) (edited on 2021-04-11 04:28 (UTC) by micwoj92)

This package also fails to build on my machine. Many packages use similar fixes when parallel compilation fails, if you don't have this issue then probably in your makepkg configuration you have set MAKEFLAGS="-j1". Please add this fix since it is so simple and was already reported 6 years ago at this point.

beroal commented on 2020-11-22 18:58 (UTC)

@soimort As far as I can see, the only way to report to the upstream is to email the author William Walker McCune who died 9 years ago.

soimort commented on 2020-11-21 17:09 (UTC)

I couldn't reproduce the error on my machine. As this build failure is most likely related to the upstream, I suggest firstly reporting the issue there.

beroal commented on 2020-11-21 15:49 (UTC)

Actually, no need to force sequential compilation. Just write that the goal install additionally depends on mace4 in mace4.src/Makefile.

beroal commented on 2020-11-21 14:29 (UTC)

I am another user who hit a bug with parallel compilation. @soimort, if you can't maintain the package, you can disown it.

portaloffreedom commented on 2015-04-11 12:24 (UTC)

I found out that compiling this package with -j8 (actually any number of jobs greater than 1), it fails. I suggest to add -j1 after make all in the package, to force it to be with just 1 job. $ make all -j1

xrchz commented on 2012-08-09 14:42 (UTC)

Thanks for submitting! Comments below. The echo, pwd, and ls in package() are unnecessary: is that on purpose, or a vestige? Also, it's unusual to install something by cp-ing things one at a time, but in this case it seems like the sources don't provide any utility for installing (no install target in the Makefile)... But do you have to copy everything from bin separately? Why not just copy everything in bin at once?

commented on 2011-03-20 22:40 (UTC)

This is my first package, so if there is anything that could be improved please let me know.