aboutsummaryrefslogtreecommitdiff
path: root/math/py-z3-solver
Commit message (Collapse)AuthorAgeFilesLines
* math/z3: Update 4.14.1.0 => 4.15.3.0Älven2025-09-211-0/+1
| | | | | | | | | | | | | Changelogs: * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153 * https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3 * Pet portfmt(1) and portlint(1) Approved by: arrowd (maintainer) Approved by: yuri@ (Mentor) Differential Revision: https://reviews.freebsd.org/D52659
* math/py-z3-solver: update 4.13.3 → 4.14.1Yuri Victorovich2025-03-232-4/+5
|
* math/py-z3-solver: update 4.13.2 → 4.13.3Yuri Victorovich2024-11-082-4/+4
|
* math/py-z3-solver: update 4.8.17 → 4.13.2Yuri Victorovich2024-10-0810-29/+203
| | | | | | This fixes the problem from bug#280689. PR: 280689
* math/py-z3-solver: Mark BROKENGleb Popov2024-09-181-0/+1
| | | | PR: 280689
* math/py-z3-solver: Add NO_ARCHPo-Chuan Hsieh2024-08-041-0/+2
| | | | Approved by: portmgr (blanket)
* */*: convert to cmake:indirectMax Brazhnikov2024-04-111-3/+1
| | | | Convert bunch of ports to USES=cmake:indirect
* math/py-z3-solver: remove not anymore needed knob for powerpcPiotr Kubaj2023-08-131-1/+1
|
* all: remove explicit versions in USES=python for "3.x+"Rene Ladan2023-06-271-1/+1
| | | | | | | | | | | | | | | | | | | The logic in USES=python will automatically convert this to 3.8+ by itself. Adjust two ports that only had Python 3.7 mentioned but build fine on Python 3.8 too. finance/quickfix: mark BROKEN with PYTHON libtool: compile: c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++ -DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable -Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong -fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi -Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings -Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x -MT _quickfix_la-QuickfixPython.lo -MD -MP -MF .deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp -fPIC -DPIC -o .libs/_quickfix_la-QuickfixPython.o warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean '-Wno-uninitialized'? [-Wunknown-warning-option] QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found ^~~~~~~~~~ 1 warning and 1 error generated. Reviewed by: portmgr, vishwin, yuri Differential Revision: <https://reviews.freebsd.org/D40568>
* math/py-z3-solver: Broken on armv7Yuri Victorovich2022-11-271-0/+1
| | | | Reported by: fallout
* */*: Update path set in BUILD_DEPENDS for CMakeDaniel Engberg2022-09-091-1/+1
| | | | | | | Commit b23ea4e2d2f51b53d8915fe9fd7b4efbdd575e38 changed its location to devel/cmake-core Approved by: portmgr (blanket)
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
| | | | | | | | | | 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)
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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)
* math/py-z3-solver: Re-enable on i386; Broken on riscv64Yuri Victorovich2022-07-211-6/+6
|
* math/py-z3-solver: Update 4.8.10 -> 4.8.17Yuri Victorovich2022-05-112-5/+8
|
* math/py-z3-solver: fix build on armv7Piotr Kubaj2021-11-121-0/+1
| | | | Same issue as on powerpc.
* math/py-z3-solver: fix build on powerpcPiotr Kubaj2021-06-101-0/+2
| | | | ld: error: can't create dynamic relocation R_PPC_ADDR16_LO against local symbol in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext' to allow text relocations in the output
* 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/py-z3-solver: Update 4.8.9 -> 4.8.10Yuri Victorovich2021-02-152-4/+4
| | | | Notes: svn path=/head/; revision=565290
* Drop python 2.7 support from a few portsAntoine Brodin2020-12-281-1/+1
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=559531
* math/py-z3-solver: Update 4.8.8 -> 4.8.9Yuri Victorovich2020-11-112-4/+4
| | | | Notes: svn path=/head/; revision=554872
* math/py-z3-solver: Update 4.8.7 -> 4.8.8Yuri Victorovich2020-07-222-4/+4
| | | | Notes: svn path=/head/; revision=542828
* math/py-z3-solver: Update 4.8.4 -> 4.8.7Yuri Victorovich2020-03-062-5/+4
| | | | Notes: svn path=/head/; revision=527855
* math/py-z3-solver: Broken on i386, workaround suggested by the error didn't helpYuri Victorovich2019-07-281-3/+3
| | | | | | | | | Reported to the upstream. Reported by: fallout Notes: svn path=/head/; revision=507522
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+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/py-z3-solver: Move -fPIC to CXXFLAGS where it belongsYuri Victorovich2019-06-091-2/+2
| | | | Notes: svn path=/head/; revision=503778
* math/py-z3-solver: Fix build on 13-CURRENT i386Yuri Victorovich2019-05-191-0/+3
| | | | | | | Reported by: fallout Notes: svn path=/head/; revision=502012
* math/py-z3-solver: Update 4.7.1 -> 4.8.4Yuri Victorovich2019-02-102-4/+7
| | | | Notes: svn path=/head/; revision=492625
* This port requires USES=compiler:c++11-lang to build on GCC-basedMark Linimon2019-01-121-1/+1
| | | | | | | | | | | architectures. PR: 234336 Submitted by: Piotr Kubaj Approved by: maintainer Notes: svn path=/head/; revision=490085
* math/py-z3: Rename back to math/py-z3-solver to match it on PyPI websiteYuri Victorovich2018-07-304-0/+44
| | | | | | | | | z3 is a different project on PyPI. Reported by: koobs Notes: svn path=/head/; revision=475913
* math/py-z3-solver: Rename to math/py-z3 to have a more intuitive nameYuri Victorovich2018-07-254-44/+0
| | | | | | | Reported by: arrowd Notes: svn path=/head/; revision=475328
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-244-0/+44
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-13 02:07:43 +0000