Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
4.13.0 19 Apr 2024 19:03:31
![commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450 commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450](/images/git.png) ![commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450 commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450](/images/codeberg.svg) ![commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450 commit hash: 2a403e48d8046a902e083e0db0ba3e013d438450](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.13.0 |
4.12.4 27 Feb 2024 14:46:19
![commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337 commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337](/images/git.png) ![commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337 commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337](/images/codeberg.svg) ![commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337 commit hash: 43251ef42e11660c6cd0c76afd89830777ba6337](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Mark BROKEN on i386
Reported by: pkg-fallout |
4.12.4 03 Jan 2024 20:00:58
![commit hash: 7978785066d27708415f5955d563b95ceb523088 commit hash: 7978785066d27708415f5955d563b95ceb523088](/images/git.png) ![commit hash: 7978785066d27708415f5955d563b95ceb523088 commit hash: 7978785066d27708415f5955d563b95ceb523088](/images/codeberg.svg) ![commit hash: 7978785066d27708415f5955d563b95ceb523088 commit hash: 7978785066d27708415f5955d563b95ceb523088](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Unbreak on i386
PR: 269570 |
4.12.4 29 Dec 2023 20:44:36
![commit hash: 05d913f50854684d91d4a38b024040d36b9df550 commit hash: 05d913f50854684d91d4a38b024040d36b9df550](/images/git.png) ![commit hash: 05d913f50854684d91d4a38b024040d36b9df550 commit hash: 05d913f50854684d91d4a38b024040d36b9df550](/images/codeberg.svg) ![commit hash: 05d913f50854684d91d4a38b024040d36b9df550 commit hash: 05d913f50854684d91d4a38b024040d36b9df550](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.12.4 |
4.12.1 07 Mar 2023 16:28:32
![commit hash: 58822304ccdc16932892cb195b34c62809f8e763 commit hash: 58822304ccdc16932892cb195b34c62809f8e763](/images/git.png) ![commit hash: 58822304ccdc16932892cb195b34c62809f8e763 commit hash: 58822304ccdc16932892cb195b34c62809f8e763](/images/codeberg.svg) ![commit hash: 58822304ccdc16932892cb195b34c62809f8e763 commit hash: 58822304ccdc16932892cb195b34c62809f8e763](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Mark BROKEN on i386.
Reported by: pkg-fallout |
4.12.1 12 Feb 2023 15:02:15
![commit hash: 5670e678a75aee8b33ae908234e501925e7c0944 commit hash: 5670e678a75aee8b33ae908234e501925e7c0944](/images/git.png) ![commit hash: 5670e678a75aee8b33ae908234e501925e7c0944 commit hash: 5670e678a75aee8b33ae908234e501925e7c0944](/images/codeberg.svg) ![commit hash: 5670e678a75aee8b33ae908234e501925e7c0944 commit hash: 5670e678a75aee8b33ae908234e501925e7c0944](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Restore accidentally removed DEBUG option.
Fixes: f52ed517f2ef24237c31e657f442dd1ec4038bf2 |
4.12.1 12 Feb 2023 13:09:38
![commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2 commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2](/images/git.png) ![commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2 commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2](/images/codeberg.svg) ![commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2 commit hash: f52ed517f2ef24237c31e657f442dd1ec4038bf2](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.12.1 |
07 Sep 2022 21:58:51
![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/git.png) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/codeberg.svg) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
4.10.2 07 Sep 2022 21:10:59
![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/git.png) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/codeberg.svg) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
4.10.2 14 Aug 2022 10:13:16
![commit hash: 692b7867ea1539f338a868ed439c86253cf84175 commit hash: 692b7867ea1539f338a868ed439c86253cf84175](/images/git.png) ![commit hash: 692b7867ea1539f338a868ed439c86253cf84175 commit hash: 692b7867ea1539f338a868ed439c86253cf84175](/images/codeberg.svg) ![commit hash: 692b7867ea1539f338a868ed439c86253cf84175 commit hash: 692b7867ea1539f338a868ed439c86253cf84175](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Piotr Kubaj (pkubaj) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: fix build on armv7
Same issue as on powerpc. |
4.10.2 11 Aug 2022 13:10:18
![commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396 commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396](/images/git.png) ![commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396 commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396](/images/codeberg.svg) ![commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396 commit hash: 5d994f9380b3dd04f869aa6a040d1f4179e50396](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.10.2 |
4.8.17 20 May 2022 15:40:32
![commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e](/images/git.png) ![commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e](/images/codeberg.svg) ![commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e commit hash: 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.17 |
4.8.16 05 May 2022 07:04:17
![commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2 commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2](/images/git.png) ![commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2 commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2](/images/codeberg.svg) ![commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2 commit hash: 2300e831acba031f2f0b44a73d74a7526c287ca2](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.16
Fix DEBUG option by not stripping resulting binaries.
Reported by: repology.org |
4.8.13 14 Dec 2021 16:55:56
![commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a](/images/git.png) ![commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a](/images/codeberg.svg) ![commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a commit hash: adb4321eb496d394fe1ee7a1f3868a5c89f91f1a](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.13
Disable STATIC option by default. |
4.8.12 24 Oct 2021 18:54:07
![commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41](/images/git.png) ![commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41](/images/codeberg.svg) ![commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 commit hash: 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Gleb Popov (arrowd) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.12 |
4.8.10 07 Apr 2021 08:09:01
![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/git.png) ![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/codeberg.svg) ![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Mathieu Arnold (mat) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
4.8.10 06 Apr 2021 14:31:07
![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/git.png) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/codeberg.svg) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Mathieu Arnold (mat) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove # $FreeBSD$ from Makefiles. |
4.8.10 18 Feb 2021 14:35:50
![Revision:565936 Revision:565936](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.10 |
4.8.9 20 Oct 2020 19:02:37
![Revision:552845 Revision:552845](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.9 |
4.8.8 13 May 2020 08:18:06
![Revision:535095 Revision:535095](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.8. |
4.8.7 14 Apr 2020 10:45:32
![Revision:531665 Revision:531665](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
pkubaj ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: fix build on powerpc with clang
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. |
4.8.7 24 Nov 2019 07:17:49
![Revision:518299 Revision:518299](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Pull in upstream patch to fix build on i386.
Reported by: pkg-fallout |
4.8.7 23 Nov 2019 15:55:44
![Revision:518251 Revision:518251](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.7. |
4.8.6 21 Sep 2019 20:32:15
![Revision:512541 Revision:512541](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.6. |
4.8.5_1 26 Jul 2019 20:46:57
![Revision:507372 Revision:507372](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
gerald ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Bump PORTREVISION for ports depending on the canonical version of GCC
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 |
4.8.5 26 Jun 2019 18:41:25
![Revision:505178 Revision:505178](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.5. |
4.8.4 23 Feb 2019 16:26:38
![Revision:493700 Revision:493700](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.4.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19306 |
4.8.3_1 12 Dec 2018 01:35:36
![Revision:487272 Revision:487272](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
gerald ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Bump PORTREVISION for ports depending on the canonical version of GCC
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 |
4.8.3 24 Nov 2018 11:43:44
![Revision:485759 Revision:485759](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.8.3
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18305 |
4.7.1_1 22 Sep 2018 20:31:22
![Revision:480432 Revision:480432](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Add compiler:c++11-lang to USES.
PR: 231604
Submitted by: Piotr Kubaj <pkubaj@anongoth.pl>
Approved by: tcberner (mentor) |
4.7.1_1 18 Sep 2018 16:59:02
![Revision:480036 Revision:480036](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
emaste ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: add -znotext to LDFLAGS on i386, for lld
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 |
4.7.1_1 24 Jul 2018 21:03:48
![Revision:475278 Revision:475278](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Fix the python binding to work for all python versions
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 |
4.7.1 17 Jun 2018 17:23:33
![Revision:472613 Revision:472613](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
arrowd ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Update to 4.7.1.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15864 |
4.6.0 09 Mar 2018 16:55:38
![Revision:463977 Revision:463977](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
linimon ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Mark this ports unbroken on powerpc64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
4.6.0 23 Jan 2018 13:55:27
![Revision:459750 Revision:459750](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
ale ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer |
4.5.0_2 24 Dec 2017 13:01:36
![Revision:457155 Revision:457155](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
jrm ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Add missing dependency on devel/py-setuptools
PR: 224438
Reported by: cem
Reviewed by: mat
Approved by: 6yearold@gmail.com (maintainer)
Differential Revision: https://reviews.freebsd.org/D13542 |
4.5.0_1 30 Nov 2017 15:50:34
![Revision:455210 Revision:455210](/images/subversion.png) ![Sanity Test Failure Sanity Test Failure](/images/stf.gif) |
mat ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Convert Python ports to FLAVORS.
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 (Only the first 15 lines of the commit message are shown above ) |
4.5.0_1 05 Sep 2017 15:26:55
![Revision:449291 Revision:449291](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
jrm ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/z3: Patch to add SONAME to shared library
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) |
4.5.0 09 Dec 2016 07:02:53
![Revision:428167 Revision:428167](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
wen ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
- Update to 4.5.0
PR: 215126
Submitted by: itbot@list.ru
Approved by: 6yearold@gmail.com(maintainer) |
4.4.0 21 Apr 2016 16:43:15
![Revision:413746 Revision:413746](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
swills ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
many ports: mark broken on powerpc64 |
4.4.0 01 Apr 2016 14:16:20
![Revision:412348 Revision:412348](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
mat ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
4.4.0 23 Sep 2015 15:09:10
![Revision:397618 Revision:397618](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
feld ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Port improvements and modernization
This is a no-op
Submitted by: jbeich |
4.4.0 22 Sep 2015 15:43:18
![Revision:397543 Revision:397543](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
feld ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
PR: 202136
Submitted by: 6yearold@gmail.com |