aboutsummaryrefslogtreecommitdiff
path: root/math/cadical/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* math/cadical: Add one more header and move headers into the include/cadical ↵Yuri Victorovich2025-11-051-4/+11
| | | | | | folder because the cvc5 dependency expects them there.
* math/cadical: Update WWWYuri Victorovich2025-09-261-1/+2
|
* math/cadical: update 2.0.0 → 2.1.3Yuri Victorovich2025-06-191-1/+1
|
* math/cadical: update 1.9.5 → 2.0.0Yuri Victorovich2024-10-031-2/+1
|
* math/cadical: Add shared libraryYuri Victorovich2024-06-061-3/+16
|
* math/cadical: update 1.6.0 → 1.9.5Yuri Victorovich2024-03-061-1/+1
| | | | Reported by: portscout
* math/cadical: Update 1.5.3 → 1.6.0Yuri Victorovich2023-06-251-1/+1
|
* math/cadical: Update 1.0.3 -> 1.5.3Yuri Victorovich2023-01-041-5/+11
|
* 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)
* 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/cadical: fix build on GCC architecturesPiotr Kubaj2020-08-171-2/+0
| | | | | | | | | Use | instead of , in the sed command to workaround for -Wl,rpath in CXXFLAGS. MFH: 2020Q3 (fix build blanket) Notes: svn path=/head/; revision=545197
* Mark as BROKEN on powerpc64-12. It seems to build everywhere else.Mark Linimon2020-05-291-0/+2
| | | | | | | Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=536999
* Attempt to fix failure on GCC-based systems:Mark Linimon2019-12-051-1/+1
| | | | | | | | | | | configure: error: compiler does not support C99/C++0x even with '-std=c++0x' This is necessary but not sufficient. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=519058
* math/cadical: Add -fPIC due to the user requirementYuri Victorovich2019-12-041-0/+3
| | | | Notes: svn path=/head/; revision=518998
* New port: math/cadical: Simple CDCL satisfiability solverYuri Victorovich2019-12-041-0/+35
Notes: svn path=/head/; revision=518989
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-11 07:49:32 +0000