summaryrefslogtreecommitdiff
path: root/math/apron (follow)
Commit message (Collapse)AuthorAgeFilesLines
* math/apron: Update WWWYuri Victorovich2025-01-081-1/+2
|
* math/apron: update 0.9.14 → 0.9.15Yuri Victorovich2024-06-144-19/+17
|
* math/apron: update 0.9.13 → 0.9.14Andrey Korobkov2024-04-195-60/+51
| | | | PR: 278472
* devel/gmake: Update to 4.4.1Kenji Takefu2024-03-031-0/+11
| | | | | | | Some ports required patches. PR: 272216 Exp-run by: antoine
* math/apron: Fix build with llvm16Muhammad Moinur Rahman2023-07-231-3/+3
| | | | | | | - Pet portclippy Approved by: portmgr (blanket) Sponsored by: The FreeBSD Foundation
* 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/apron: Broken on aarch64Yuri Victorovich2022-07-271-0/+1
| | | | Reported by: fallout
* math/apron: Broken on armv6, armv7, riscv64Yuri Victorovich2022-07-192-6/+5
|
* math/apron: Remove BROKEN lineYuri Victorovich2022-07-191-2/+0
|
* math/apron: Add #include statement for fpsetround(3)Yuri Victorovich2022-07-192-1/+6
| | | | | | Lack of fpsetround(3) declaration caused breakage on some architectures. Reported by: fallout
* math/apron: Update 0.9.12 -> 0.9.12Yuri Victorovich2021-09-0110-135/+120
|
* 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
|
* Mark these ports broken on aarch64Mikael Urankar2020-11-151-0/+2
| | | | | | | Reported by: linimon Notes: svn path=/head/; revision=555186
* math/apron: Update 0.9.11 -> 0.9.12Yuri Victorovich2020-02-092-4/+4
| | | | | | | Reported by: repology Notes: svn path=/head/; revision=525675
* math/apron: Rm stray lineYuri Victorovich2018-12-141-1/+0
| | | | Notes: svn path=/head/; revision=487463
* math/apron: Add forgotten patches that set SONAME on shared librariesYuri Victorovich2018-12-147-0/+102
| | | | Notes: svn path=/head/; revision=487462
* New port: math/apron: APRON numerical abstract domain libraryYuri Victorovich2018-12-144-0/+157
Notes: svn path=/head/; revision=487460
generated by cgit v1.2.3 (git 2.25.1) at 2025-06-09 20:36:03 +0000