Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/picosat: Update to 965 | Kubilay Kocak | 2016-06-27 | 1 | -3/+10 |
| | | | | | | | | | | | | | | | | * 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 -> math | Kubilay Kocak | 2014-08-25 | 1 | -0/+30 |
- 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 |