8 commits

Author	SHA1	Message	Date
Baptiste Daroussin	9250d94365	Convert USE_BISON to USES= bison ... 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	2013-03-08 11:32:11 +00:00
Mark Linimon	14a16ac837	Mark as broken on tier-2: uses i386-specific compiler flags. ... Hat: portmgr	2011-12-28 06:40:53 +00:00
Sunpoet Po-Chuan Hsieh	b50fe58956	- Add WITH_DEBUG support ... PR: ports/162718 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) Feature safe: yes	2011-11-21 15:51:01 +00:00
Li-Wen Hsu	0af8abbfaa	- Update to revision 1407 ... - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes	2011-11-11 06:15:30 +00:00
Martin Wilke	bb86cbe5d2	- Get Rid MD5 support	2011-03-20 12:54:45 +00:00
Dmitry Marakasov	a13d9a603d	- Switch SourceForge ports to the new File Release System: categories starting with M	2009-08-22 00:28:34 +00:00
Li-Wen Hsu	4553448013	- Update to 0.1-11-18-2008	2008-12-24 20:51:30 +00:00
Li-Wen Hsu	a8dcd66e6e	Add stp , a Decision Procedure for Bitvectors and Arrays.	2008-06-19 01:52:25 +00:00