freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
478,598 Commits 2 Branches 0 Tags
Commit Graph

6 Commits

Author SHA1 Message Date
Mark Linimon
1f57592d73 Fix build on gcc-based architectures: 
LEAN requires g++ 4.9 or greater.

Approved by:	portmgr (tier-2 blanket)
 2019-03-12 01:23:46 +00:00
Yuri Victorovich
03479ec7f3 math/lean: Update 3.4.1 -> 3.4.2 
Reported by:	portscout
 2019-01-23 09:59:54 +00:00
Tobias C. Berner
707c6bf295 Change cmake default behaviour to outsource. 
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
 2018-12-25 20:25:39 +00:00
Yuri Victorovich
7424caa4ec math/lean: Add the PORTSCOUT line. 
Avoid picking undesirable tags.
 2018-07-25 20:16:37 +00:00
Yuri Victorovich
46968762df math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository) 2018-07-23 07:49:05 +00:00
Yuri Victorovich
5014690153 New port: math/lean: Theorem prover 2018-07-22 05:58:39 +00:00