aboutsummaryrefslogtreecommitdiff
path: root/math/lean
Commit message (Collapse)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/lean: Add pkg-message with warning about /proc being required to be mountedYuri Victorovich2021-03-282-0/+17
| | | | | | | Reported by: BRANDON BOCANEGRA <kakuhen@g.ucla.edu> Notes: svn path=/head/; revision=569374
* math/lean: Update 3.27.0 -> 3.28.0Yuri Victorovich2021-03-162-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=568590
* math/lean: Update 3.26.0 -> 3.27.0Yuri Victorovich2021-02-263-4/+5
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=566620
* math/lean: Update 3.25.0 -> 3.26.0Yuri Victorovich2021-01-282-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=563162
* math/lean: Update 3.24.0 -> 3.25.0Yuri Victorovich2021-01-232-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=562369
* math/lean: Update 3.23.0 -> 3.24.0Yuri Victorovich2021-01-052-5/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=560437
* math/lean: Update 3.22.0 -> 3.23.0Yuri Victorovich2020-10-312-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=553737
* math/lean: Update 3.21.0 -> 3.22.0Yuri Victorovich2020-10-283-5/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=553515
* math/lean: Update 3.20.0 -> 3.21.0Yuri Victorovich2020-10-122-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=552157
* math/lean: Update 3.19.0 -> 3.20.0Yuri Victorovich2020-09-103-5/+6
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=548214
* math/lean: Update 3.18.4 -> 3.19.0Yuri Victorovich2020-08-272-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=546581
* math/lean: Update 3.18.3 -> 3.18.4Yuri Victorovich2020-08-032-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=544017
* math/lean: Update 3.18.2 -> 3.18.3Yuri Victorovich2020-07-302-4/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=543797
* math/lean: Update 3.17.1 -> 3.18.2Yuri Victorovich2020-07-302-5/+4
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=543698
* math/lean: Update 3.4.2 -> 3.17.1Yuri Victorovich2020-07-215-298/+81
| | | | | | | | | | | The original Microsoft's account 'leanprover' is now archived, and the community account 'leanprover-community' carries the project on. Also: * remove tests from build * add 'test' target Notes: svn path=/head/; revision=542813
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
| | | | | | | | | | | | | | | | | | as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3 to GCC 9.1 under most circumstances now after revision 507371. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, everything INDEX-11 shows with a dependency on lang/gcc9 now. PR: 238330 Notes: svn path=/head/; revision=507372
* Fix build on gcc-based architectures:Mark Linimon2019-03-121-1/+1
| | | | | | | | | LEAN requires g++ 4.9 or greater. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=495410
* math/lean: Update 3.4.1 -> 3.4.2Yuri Victorovich2019-01-233-11/+5
| | | | | | | Reported by: portscout Notes: svn path=/head/; revision=491029
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
| | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=488341
* math/lean: Add the PORTSCOUT line.Yuri Victorovich2018-07-251-0/+2
| | | | | | | Avoid picking undesirable tags. Notes: svn path=/head/; revision=475334
* math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)Yuri Victorovich2018-07-232-6/+5
| | | | Notes: svn path=/head/; revision=475152
* New port: math/lean: Theorem proverYuri Victorovich2018-07-226-0/+908
Notes: svn path=/head/; revision=475085
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-11 00:41:35 +0000