aboutsummaryrefslogtreecommitdiff
path: root/math/picosat
Commit message (Collapse)AuthorAgeFilesLines
* */*: Take maintainershipMuhammad Moinur Rahman2022-03-081-1/+1
|
* all: return koobs' ports to the pool after safekeeping his commit bit.Rene Ladan2022-03-071-1/+1
|
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/picosat: Update to 965Kubilay Kocak2016-06-272-5/+13
| | | | | | | | | | | | | | | | * Update DISTVERSION and distinfo checksum (965) * Add CONFIGURE_SCRIPT (filename change to .sh extension) * Add DEBUG option * Use --trace, --stats (and --logs) with DEBUG, rather than in the default (non-debug) build. * Specify --static explicitly even though its built to avoid possible future footshooting. http://fmv.jku.at/picosat/NEWS Notes: svn path=/head/; revision=417659
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-254-0/+49
- Remove from devel/Makefile - Add to math/Makefile - Update CATEGORIES for both ports - Add MOVED entries While I'm here, sort MOVED entries causing MOVEDlint.awk error [1] after r365599 [2] [1] 6470: date going backwards from 2014-08-20 to 2014-08-15 [2] https://svnweb.freebsd.org/changeset/ports/365599 Suggested by: vsevolod Notes: svn path=/head/; revision=366063