aboutsummaryrefslogtreecommitdiff
path: root/math/py-claripy
Commit message (Collapse)AuthorAgeFilesLines
* Revert "math/*: Improve and expand pkg-descr"Yuri Victorovich2025-09-301-20/+2
| | | | This reverts commit 5f90970e571a0fbd9caee91a04409f5c8ab1f9fe.
* math/*: Improve and expand pkg-descrYuri Victorovich2025-09-301-2/+20
| | | | | | All ports maintained by ports@FreeBSD.org Content generated by Gemini AI.
* python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removalCharlie Li2025-03-081-0/+1
| | | | | | | | Any missed ports, feel free to bump. Any ports that need setuptools at runtime can have the devel/py-setuptools manually added back to RUN_DEPENDS, but understand that this practice is deprecated; see CHANGES for details.
* 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>
* 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)
* angr: Return angr framework ports to the poolMateusz Piotrowski2022-01-201-1/+1
|
* *: Use angr.mk in the ports treeMateusz Piotrowski2021-07-131-7/+2
|
* 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
|
* Update the Angr framework to 9.0.5405Mateusz Piotrowski2021-01-161-3/+3
| | | | | | | | | | | | | | - Angr binaries are now tagged as well. We may consider removing ANGR_BINARIES_TAGNAME in the future. - Remove restrictions on the unicorn version for now. This should prevent the port from breaking again in the foreseeable future. PR: 252042 Reported by: nc Event: January 2021 Bugathon Notes: svn path=/head/; revision=561764
* Update angr and its dependencies to 9.0.4446Mateusz Piotrowski2020-09-251-3/+3
| | | | | | | Reported by: Portscout Notes: svn path=/head/; revision=550018
* Update the angr project ports to 9.0.4378Mateusz Piotrowski2020-09-242-15/+9
| | | | | | | | | | This patch introduces security/py-angr/Makefile.version file, which stores the shared version of all the angr ports (as ANGR_VERSION). It also stores the tagname of a distribution file, which is required for testing (ANGR_BINARIES_TAGNAME). Notes: svn path=/head/; revision=549925
* Rename math/py-PySMT to math/py-pysmtMateusz Piotrowski2020-03-081-1/+2
| | | | | | | | | | This is done in order to follow the policy set out by the Python team: https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME Reported by: koobs Notes: svn path=/head/; revision=528050
* New port: math/py-claripyMateusz Piotrowski2020-03-073-0/+47
Claripy is an abstracted constraint-solving wrapper for Python. It is being developed by the Angr project. WWW: https://github.com/angr/claripy PR: 244562 Notes: svn path=/head/; revision=527905
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-16 01:11:53 +0000