aboutsummaryrefslogtreecommitdiff
path: root/math/z3
Commit message (Collapse)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
| | | | Reported by: lwhsu
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/z3: Update to 4.8.10Gleb Popov2021-02-182-4/+4
| | | | Notes: svn path=/head/; revision=565936
* math/z3: Update to 4.8.9Gleb Popov2020-10-202-4/+4
| | | | Notes: svn path=/head/; revision=552845
* math/z3: Update to 4.8.8.Gleb Popov2020-05-133-16/+5
| | | | Notes: svn path=/head/; revision=535095
* math/z3: fix build on powerpc with clangPiotr Kubaj2020-04-141-0/+1
| | | | | | | | | | | | | Add -fPIC to CXXFLAGS: ld: error: relocation R_PPC_ADDR16_HA cannot be used against local symbol; recompile with -fPIC >>> defined in api/dll/gparams_register_modules.o >>> referenced by gparams_register_modules.cpp >>> api/dll/gparams_register_modules.o:(gparams_register_modules()) Adding -Wl,-znotext to LDFLAGS doesn't help. Notes: svn path=/head/; revision=531665
* math/z3: Pull in upstream patch to fix build on i386.Gleb Popov2019-11-241-0/+11
| | | | | | | Reported by: pkg-fallout Notes: svn path=/head/; revision=518299
* math/z3: Update to 4.8.7.Gleb Popov2019-11-232-4/+4
| | | | Notes: svn path=/head/; revision=518251
* math/z3: Update to 4.8.6.Gleb Popov2019-09-213-17/+9
| | | | Notes: svn path=/head/; revision=512541
* 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
* math/z3: Update to 4.8.5.Gleb Popov2019-06-262-5/+5
| | | | Notes: svn path=/head/; revision=505178
* math/z3: Update to 4.8.4.Gleb Popov2019-02-232-5/+4
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D19306 Notes: svn path=/head/; revision=493700
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
| | | | | | | | | | | | | | | | | | defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t GCC 8.2 under most circumstances. 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, as a double check, everything INDEX-11 showed depending on lang/gcc7. PR: 231590 Notes: svn path=/head/; revision=487272
* math/z3: Update to 4.8.3Gleb Popov2018-11-243-11/+10
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D18305 Notes: svn path=/head/; revision=485759
* math/z3: Add compiler:c++11-lang to USES.Gleb Popov2018-09-221-1/+1
| | | | | | | | | PR: 231604 Submitted by: Piotr Kubaj <pkubaj@anongoth.pl> Approved by: tcberner (mentor) Notes: svn path=/head/; revision=480432
* math/z3: add -znotext to LDFLAGS on i386, for lldEd Maste2018-09-181-0/+1
| | | | | | | | | | | | | | This port links some non-PIC code, which fails with lld as it defaults to disallowing relocations against read-only segments. For i386 we can just add -znotext unconditionally: for GNU BFD ld it just affirms BFD's existing default. PR: 214864 Approved by: portmgr (lld blanket) Sponsored by: The FreeBSD Foundation Notes: svn path=/head/; revision=480036
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-242-32/+4
| | | | | | | | | | | | | The python binding is removed from math/z3 and placed into a separate port math/mpy-z3-solver that builds for all python versions. While here, remove the unnecessary CONFLICTS statement. PR: 229937 Approved by: portmgr Notes: svn path=/head/; revision=475278
* math/z3: Update to 4.7.1.Gleb Popov2018-06-173-16/+5
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D15864 Notes: svn path=/head/; revision=472613
* Mark this ports unbroken on powerpc64.Mark Linimon2018-03-091-1/+0
| | | | | | | | | While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=463977
* Update to 4.6.0 release and create shared lib symlink.Alex Dupre2018-01-235-9/+22
| | | | | | | | Differential Revision: https://reviews.freebsd.org/D13637 Submitted by: maintainer Notes: svn path=/head/; revision=459750
* math/z3: Add missing dependency on devel/py-setuptoolsJoseph Mingrone2017-12-241-1/+2
| | | | | | | | | | | PR: 224438 Reported by: cem Reviewed by: mat Approved by: 6yearold@gmail.com (maintainer) Differential Revision: https://reviews.freebsd.org/D13542 Notes: svn path=/head/; revision=457155
* Convert Python ports to FLAVORS.Mathieu Arnold2017-11-301-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ports using USE_PYTHON=distutils are now flavored. They will automatically get flavors (py27, py34, py35, py36) depending on what versions they support. There is also a USE_PYTHON=flavors for ports that do not use distutils but need FLAVORS to be set. A USE_PYTHON=noflavors can be set if using distutils but flavors are not wanted. A new USE_PYTHON=optsuffix that will add PYTHON_PKGNAMESUFFIX has been added to cope with Python ports that did not have the Python PKGNAMEPREFIX but are flavored. USES=python now also exports a PY_FLAVOR variable that contains the current python flavor. It can be used in dependency lines when the port itself is not python flavored. For example, deskutils/calibre. By default, all the flavors are generated. To only generate flavors for the versions in PYTHON2_DEFAULT and PYTHON3_DEFAULT, define BUILD_DEFAULT_PYTHON_FLAVORS in your make.conf. In all the ports with Python dependencies, the *_DEPENDS entries MUST end with the flavor so that the framework knows which to build/use. This is done by appending '@${PY_FLAVOR}' after the origin (or @${FLAVOR} if in a Python module with Python flavors, as the content will be the same). For example: RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>0:devel/py-six@${PY_FLAVOR} PR: 223071 Reviewed by: portmgr, python Sponsored by: Absolight Differential Revision: https://reviews.freebsd.org/D12464 Notes: svn path=/head/; revision=455210
* math/z3: Patch to add SONAME to shared libraryJoseph Mingrone2017-09-052-3/+5
| | | | | | | | | | | Also ensure that python is available at build time when the PYTHON option (for python bindings) is off. PR: 221321 Submitted by: 6yearold@gmail.com (maintainer) Notes: svn path=/head/; revision=449291
* - Update to 4.5.0Wen Heping2016-12-094-104/+50
| | | | | | | | | PR: 215126 Submitted by: itbot@list.ru Approved by: 6yearold@gmail.com(maintainer) Notes: svn path=/head/; revision=428167
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
| | | | Notes: svn path=/head/; revision=413746
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* Port improvements and modernizationMark Felder2015-09-233-9/+22
| | | | | | | | | This is a no-op Submitted by: jbeich Notes: svn path=/head/; revision=397618
* Z3 is a high-performance theorem prover developedMark Felder2015-09-225-0/+154
at Microsoft Research. WWW: https://github.com/Z3Prover/z3 PR: 202136 Submitted by: 6yearold@gmail.com Notes: svn path=/head/; revision=397543
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-16 19:29:14 +0000