summaryrefslogtreecommitdiff
path: root/lang/solidity (follow)
Commit message (Collapse)AuthorAgeFilesLines
* lang/solidity: update to 0.8.12 release.Alex Dupre2022-02-172-4/+4
|
* lang/solidity: update to 0.8.11 release.Alex Dupre2021-12-202-4/+4
|
* lang/solidity: fix build with newer z3.Alex Dupre2021-12-161-1/+2
|
* lang/solidity: update to 0.8.10 release.Alex Dupre2021-11-163-6/+7
|
* devel/jsoncpp: Update to 1.9.4 -> 1.9.5Daniel Engberg2021-11-051-0/+1
| | | | PR: 259654
* lang/solidity: Add CPE informationStefan Eßer2021-10-191-1/+2
| | | | Approved by: portmgr (blanket)
* lang/solidity: update to 0.8.9 release.Alex Dupre2021-09-302-4/+4
|
* lang/solidity: update to 0.8.7 release.Alex Dupre2021-08-232-4/+4
|
* lang/solidity: update to 0.8.6 release.Alex Dupre2021-06-232-4/+4
|
* lang/solidity: update to 0.8.5 release.Alex Dupre2021-06-112-4/+4
|
* lang/solidity: update to 0.8.4 releaseAlex Dupre2021-04-232-4/+4
|
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* Update to 0.8.3 release.Alex Dupre2021-03-252-4/+4
|
* Update to 0.8.2 release.Alex Dupre2021-03-042-4/+4
|
* Update to 0.8.1 release.Alex Dupre2021-01-283-6/+46
|
* Update to 0.8.0 release.Alex Dupre2020-12-175-9/+22
|
* Update to 0.7.4 release.Alex Dupre2020-10-192-4/+4
|
* Distfile rerolled without any content change.Alex Dupre2020-10-081-3/+3
|
* Update to 0.7.3 release.Alex Dupre2020-10-072-4/+4
|
* Update to 0.7.2 release.Alex Dupre2020-09-292-4/+4
|
* Update to 0.7.1 release.Alex Dupre2020-09-022-4/+4
|
* Update to 0.7.0 release.Alex Dupre2020-07-282-4/+4
|
* Update to 0.6.12 release.Alex Dupre2020-07-223-6/+6
|
* Update to 0.6.11 release.Alex Dupre2020-07-092-5/+4
|
* Bump devel/jsoncpp consumers after r540853.Tobias C. Berner2020-06-301-0/+1
| | | | Reported by: Kevin Oberman <rkoberman@gmail.com>
* Update to 0.6.10 release.Alex Dupre2020-06-122-4/+4
|
* Update to 0.6.9 release.Alex Dupre2020-06-042-4/+4
|
* Update to 0.6.8 release.Alex Dupre2020-05-152-4/+4
|
* Update to 0.6.7 release.Alex Dupre2020-05-053-15/+4
|
* Fix build on 32-bit platforms.Alex Dupre2020-04-161-0/+11
|
* Update to 0.6.6 release.Alex Dupre2020-04-132-4/+4
|
* Update to 0.6.5 release.Alex Dupre2020-04-073-15/+4
|
* Try to fix compilation on -CURRENT.Alex Dupre2020-02-201-0/+11
|
* Update to 0.6.3 release.Alex Dupre2020-02-192-5/+8
|
* Update to 0.6.2 release and enable all SMT solvers by default.Alex Dupre2020-01-284-15/+14
|
* devel/jsoncpp: Update 1.8.1 -> 1.9.2Yuri Victorovich2020-01-131-0/+1
| | | | | PR: 229677 Differential Revision: D22905
* Update to 0.6.0 release.Alex Dupre2019-12-183-10/+9
|
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-0/+1
| | | | | | | Changes: http://www.boost.org/users/history/version_1_72_0.html PR: 241449 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D22136
* Update to 0.5.13 release.Alex Dupre2019-11-222-4/+4
|
* Update to 0.5.12 release.Alex Dupre2019-10-032-4/+4
|
* Update to 0.5.11 release.Alex Dupre2019-08-222-5/+4
|
* Mark as not for powerpc*/sparc64:Mark Linimon2019-08-221-0/+3
| | | | | | | | -- Check if the system is big endian - big endian CMake Error at CMakeLists.txt:24 (message): solidity currently does not support big endian systems. Approved by: portmgr (tier-2 blanket)
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
| | | | | | | Changes: http://www.boost.org/users/history/version_1_71_0.html PR: 238827 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D20774
* math/cvc4: simplify post-patchFernando Apesteguía2019-08-061-2/+0
| | | | | | | | | * Bump PORTREVISION * Unbreak lang/maude and lang/solidity (broken in r508058 and r508059) Reported by: jbeich@ Reviewed by: jbeich@ Differential Revision: https://reviews.freebsd.org/D21170
* Mark BROKEN: fails to buildAntoine Brodin2019-08-041-0/+2
| | | | | | | | | | In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp:24: In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/CVC4Interface.h:30: In file included from /usr/local/include/cvc4/cvc4.h:21: /usr/local/include/cvc4/base/configuration.h:19:10: fatal error: 'cvc4_public.h' file not found #include "cvc4_public.h" Reported by: pkg-fallout
* 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
* Update to 0.5.10 release.Alex Dupre2019-07-022-4/+4
|
* Update to 0.5.8 release.Alex Dupre2019-05-012-5/+4
|
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-0/+1
| | | | | | | Changes: http://www.boost.org/users/history/version_1_70_0.html PR: 235956 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D19303
* Update to 0.5.7 release.Alex Dupre2019-03-262-4/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-01 05:47:03 +0000