aboutsummaryrefslogtreecommitdiff
path: root/math/stp
Commit message (Collapse)AuthorAgeFilesLines
* Remove OSVERSION checks that do not make sense any more.Mathieu Arnold2015-04-031-4/+0
| | | | | | | | | | | | | For example (${OSVERSION} >= 900000 && ${OSVERSION} < 900021) is always true, as is (${OSVERSION} > 900002 || ${OSVERSION} < 900000 && ${OSVERSION} > 800107). Regarding patches, when an EXTRA_PATCHES is no longer needed, I remove it, when it is always needed, I renamed it, in one case, I merged two patches. Differential Revision: https://reviews.freebsd.org/D2209 Notes: svn path=/head/; revision=383107
* Cleanup plistAntoine Brodin2014-11-141-3/+0
| | | | Notes: svn path=/head/; revision=372555
* Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.xAntoine Brodin2014-08-261-1/+1
| | | | Notes: svn path=/head/; revision=366210
* Package somethingAntoine Brodin2014-08-262-0/+11
| | | | Notes: svn path=/head/; revision=366209
* Convert a bunch of USE_XZ to USES=tar:xz.Adam Weinberger2014-07-291-2/+1
| | | | | | | Approved by: portmgr (not really, but touches unstaged ports) Notes: svn path=/head/; revision=363392
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) Notes: svn path=/head/; revision=361099
* Fix math/stp build for FreeBSD 9.xEmanuel Haupt2014-03-061-0/+3
| | | | | | | | PR: 187311 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) Notes: svn path=/head/; revision=347264
* - Update to revision 1436Li-Wen Hsu2014-03-033-36/+15
| | | | | | | | PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) Notes: svn path=/head/; revision=346925
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-3/+2
| | | | | | | Convert USE_GMAKE to USES Notes: svn path=/head/; revision=327411
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
| | | | | | | | | | | | | | | | | It brings bison as a build dependency in case it is set the following way: USES= bison or USES= bison:build it brings bison as a run dependency in case it is set the following way: USES= bison:run it brings bison both as a run and build dependency in case it the set the following way: USES= bison:both While here trim some headers Convert some USE_GNOME= gnomehack to USES= pathfix Notes: svn path=/head/; revision=313635
* Mark as broken on tier-2: uses i386-specific compiler flags.Mark Linimon2011-12-281-0/+4
| | | | | | | Hat: portmgr Notes: svn path=/head/; revision=288149
* - Add WITH_DEBUG supportSunpoet Po-Chuan Hsieh2011-11-211-0/+4
| | | | | | | | | PR: ports/162718 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) Feature safe: yes Notes: svn path=/head/; revision=286191
* - Update to revision 1407Li-Wen Hsu2011-11-112-17/+26
| | | | | | | | | | - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes Notes: svn path=/head/; revision=285533
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* - Switch SourceForge ports to the new File Release System: categories ↵Dmitry Marakasov2009-08-221-2/+1
| | | | | | | starting with M Notes: svn path=/head/; revision=240072
* - Update to 0.1-11-18-2008Li-Wen Hsu2008-12-242-6/+6
| | | | Notes: svn path=/head/; revision=224711
* Add stp , a Decision Procedure for Bitvectors and Arrays.Li-Wen Hsu2008-06-193-0/+58
Notes: svn path=/head/; revision=215221
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-21 03:34:38 +0000