naddy
ab45f39af6
drop RCS Ids
2022-03-11 19:36:11 +00:00
sthen
3fb7cdbcf6
bump REVISION for switch from Python 3.8 -> 3.9
2021-11-02 00:01:35 +00:00
sthen
3cbe1c2f30
Reverse the polarity of MODPY_VERSION; default is now 3.x,
...
if a port needs 2.x then set MODPY_VERSION=${MODPY_DEFAULT_VERSION_2}.
This commit doesn't change any versions currently used; it may be that
some ports have MODPY_DEFAULT_VERSION_2 but don't require it, those
should be cleaned up in the course of updating ports where possible.
Python module ports providing py3-* packages should still use
FLAVOR=python3 so that we don't have a mixture of dependencies some
using ${MODPY_FLAVOR} and others not.
2021-02-23 19:39:08 +00:00
jasper
99fe16c205
update to z3-4.8.9
2020-09-18 07:52:58 +00:00
sthen
d9cfe4113e
bump REVISION; python 3 default changed to 3.8
2020-07-03 21:12:24 +00:00
jasper
16e989246a
update to z3-4.8.8
2020-06-28 12:19:35 +00:00
kn
ae914c292c
Add conflict marker for devel/angr/py-z3-solver
...
py3-z3-solver already has "@conflict z3-*".
OK jca
2020-03-22 16:01:43 +00:00
rsadowski
6c8276ed2f
Update z3 to 4.8.6
2019-10-19 09:42:20 +00:00
sthen
3318ced016
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
2019-07-12 20:46:54 +00:00
rsadowski
8436eb9d7a
Disable OpenMP with the cmake option
...
OK rpointel
2019-06-15 08:53:32 +00:00
rpointel
120c7d5d68
use GH_TAGNAME, spotted by sthen@.
...
ok sthen@.
2019-06-05 14:23:18 +00:00
rpointel
4bf7b34b7c
update z3 to 4.8.5, ok kn@.
...
bump lib version because few functions were removed, for example:
86b98e347740e329fc92
2019-06-05 05:44:54 +00:00
sthen
d7f0752227
bump all the py3 things, _SYSTEM_VERSION didn't quite work out how
...
we expected and it's easier|safer to do it this way than fiddle with
pkg_add now. thanks aja for update tests with a quick bulk.
2019-04-28 20:51:26 +00:00
jasper
8d85c4945b
switch to python3 for the bindings
...
ok rsadowski@
2019-03-30 09:54:39 +00:00
rsadowski
c4888217ef
Update z3 to 4.8.4
...
OK rpointel@
2019-03-03 09:16:17 +00:00
rpointel
a3d0511afb
update z3 to 4.8.3.
...
ok pirofti@.
2018-12-15 12:43:40 +00:00
naddy
c3ed60809c
Make better use of ports infrastructure, don't override optimization
...
flags, use -fPIC to build shared objects on all archs.
2018-11-24 00:57:15 +00:00
rsadowski
9b0a665746
fix SHARED_LIB setup
...
Initial diff and test by Fabian Raetz <fabian D-O-T raetz A-T gmail D-O-T com>
with advanced fixes by me.
2018-09-15 13:27:29 +00:00
jca
a77a63574f
Needs a c++11
2018-06-19 17:48:49 +00:00
rpointel
459189a351
update z3 to 4.7.1.
...
ok benoit@.
2018-06-18 08:15:11 +00:00
rpointel
fe328c87bd
update z3 to 4.6.0, builds fine with clang 6.
...
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
2018-04-10 08:17:38 +00:00
sthen
5e964ab0df
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
2017-07-26 22:45:14 +00:00
espie
8ac47fd9c6
use COMPILER_LIBCXX where applicable
2017-07-16 19:18:47 +00:00
sthen
bcbf44ab87
use LIBCXX
2017-04-10 11:46:18 +00:00
rpointel
c0acae0063
import the z3 theorem prover.
...
ok benoit@ input & ok daniel@
2017-02-12 21:48:19 +00:00
