Package Details: prover9 2009.11A-2

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
Last Updated: 2015-06-09 07:11

Latest Comments

portaloffreedom commented on 2015-04-11 12:24

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

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?

Anonymous comment on 2011-03-20 22:40

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