non port: math/z3/Makefile |
Number of commits found: 41 |
Friday, 19 Apr 2024
|
19:03 Gleb Popov (arrowd)
math/z3: Update to 4.13.0
2a403e4 |
Tuesday, 27 Feb 2024
|
14:46 Gleb Popov (arrowd)
math/z3: Mark BROKEN on i386
Reported by: pkg-fallout
43251ef |
Wednesday, 3 Jan 2024
|
20:00 Gleb Popov (arrowd)
math/z3: Unbreak on i386
PR: 269570
7978785 |
Friday, 29 Dec 2023
|
20:44 Gleb Popov (arrowd)
math/z3: Update to 4.12.4
05d913f |
Tuesday, 7 Mar 2023
|
16:28 Gleb Popov (arrowd)
math/z3: Mark BROKEN on i386.
Reported by: pkg-fallout
5882230 |
Sunday, 12 Feb 2023
|
15:02 Gleb Popov (arrowd)
math/z3: Restore accidentally removed DEBUG option.
Fixes: f52ed517f2ef24237c31e657f442dd1ec4038bf2
5670e67 |
13:09 Gleb Popov (arrowd)
math/z3: Update to 4.12.1
f52ed51 |
Wednesday, 7 Sep 2022
|
21:10 Stefan Eßer (se)
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.
This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.
There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.
The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.
Approved by: portmgr (tcberner)
b7f0544 |
Sunday, 14 Aug 2022
|
10:13 Piotr Kubaj (pkubaj)
math/z3: fix build on armv7
Same issue as on powerpc.
692b786 |
Thursday, 11 Aug 2022
|
13:10 Gleb Popov (arrowd)
math/z3: Update to 4.10.2
5d994f9 |
Friday, 20 May 2022
|
15:40 Gleb Popov (arrowd)
math/z3: Update to 4.8.17
1bbe14a |
Thursday, 5 May 2022
|
07:04 Gleb Popov (arrowd)
math/z3: Update to 4.8.16
Fix DEBUG option by not stripping resulting binaries.
Reported by: repology.org
2300e83 |
Tuesday, 14 Dec 2021
|
16:55 Gleb Popov (arrowd)
math/z3: Update to 4.8.13
Disable STATIC option by default.
adb4321 |
Sunday, 24 Oct 2021
|
18:54 Gleb Popov (arrowd)
math/z3: Update to 4.8.12
1d13ddd |
Wednesday, 7 Apr 2021
|
08:09 Mathieu Arnold (mat)
One more small cleanup, forgotten yesterday.
Reported by: lwhsu
cf118cc |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Thursday, 18 Feb 2021
|
14:35 arrowd
math/z3: Update to 4.8.10
|
Tuesday, 20 Oct 2020
|
19:02 arrowd
math/z3: Update to 4.8.9
|
Wednesday, 13 May 2020
|
08:18 arrowd
math/z3: Update to 4.8.8.
|
Tuesday, 14 Apr 2020
|
10:45 pkubaj
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.
|
Saturday, 23 Nov 2019
|
15:55 arrowd
math/z3: Update to 4.8.7.
|
Saturday, 21 Sep 2019
|
20:32 arrowd
math/z3: Update to 4.8.6.
|
Friday, 26 Jul 2019
|
20:46 gerald
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
|
Wednesday, 26 Jun 2019
|
18:41 arrowd
math/z3: Update to 4.8.5.
|
Saturday, 23 Feb 2019
|
16:26 arrowd
math/z3: Update to 4.8.4.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19306
|
Wednesday, 12 Dec 2018
|
01:35 gerald
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
|
Saturday, 24 Nov 2018
|
11:43 arrowd
math/z3: Update to 4.8.3
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18305
|
Saturday, 22 Sep 2018
|
20:31 arrowd
math/z3: Add compiler:c++11-lang to USES.
PR: 231604
Submitted by: Piotr Kubaj <pkubaj@anongoth.pl>
Approved by: tcberner (mentor)
|
Tuesday, 18 Sep 2018
|
16:59 emaste
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
|
Tuesday, 24 Jul 2018
|
21:03 yuri
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
|
Sunday, 17 Jun 2018
|
17:23 arrowd
math/z3: Update to 4.7.1.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15864
|
Friday, 9 Mar 2018
|
16:55 linimon
Mark this ports unbroken on powerpc64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
|
Tuesday, 23 Jan 2018
|
13:55 ale
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer
|
Sunday, 24 Dec 2017
|
13:01 jrm
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
|
Thursday, 30 Nov 2017
|
15:50 mat
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
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
|
Tuesday, 5 Sep 2017
|
15:26 jrm
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)
|
Friday, 9 Dec 2016
|
07:02 wen
- Update to 4.5.0
PR: 215126
Submitted by: itbot@list.ru
Approved by: 6yearold@gmail.com(maintainer)
|
Thursday, 21 Apr 2016
|
16:43 swills
many ports: mark broken on powerpc64
|
Friday, 1 Apr 2016
|
14:16 mat
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
Wednesday, 23 Sep 2015
|
15:09 feld
Port improvements and modernization
This is a no-op
Submitted by: jbeich
|
Tuesday, 22 Sep 2015
|
15:43 feld
Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
PR: 202136
Submitted by: 6yearold@gmail.com
|
Number of commits found: 41 |