mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-12 03:00:28 +00:00
Code Issues Releases Activity
382,260 Commits 45 Branches 100 Tags 3.4 GiB
f212e8c1e6
Commit Graph

16 Commits

Author SHA1 Message Date
Antoine Brodin
cff02893b4 Cleanup plist 2014-11-13 23:24:00 +00:00
Vanilla I. Shu
26b131e57b Stagify. 
Approved by:	lwhsu@ (maintainer)
 2014-07-16 03:25:07 +00:00
Baptiste Daroussin
3fee911366 Modernize LIB_DEPENDS 
With hat:	portmgr
 2014-07-13 23:36:40 +00:00
Jimmy Olgeni
168f57451a Remove indefinite articles and trailing periods from COMMENT, plus minor 
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)
 2014-07-07 15:31:01 +00:00
Li-Wen Hsu
bdf601ddb9 - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later 2013-11-13 15:55:09 +00:00
Baptiste Daroussin
ce5e457020 Add NO_STAGE all over the place in preparation for the staging support (cat: math) 2013-09-20 20:55:04 +00:00
Baptiste Daroussin
e4343d70fd Convert to new perl framework 
Convert USE_GMAKE to USES
 2013-09-16 16:32:07 +00:00
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
Li-Wen Hsu
85803ea146 - Update to 2.4.1 2012-02-04 14:37:52 +00:00
Martin Wilke
bb86cbe5d2 - Get Rid MD5 support 2011-03-20 12:54:45 +00:00
Alex Dupre
bf330a57d4 Switch to use newer GMP version. 
PR:		ports/144487
Submitted by:	ale
Approved by:	portmgr (-exp run by erwin)
 2010-04-19 10:43:42 +00:00
Alex Dupre
523a16e2bd Chase libgmp and bump PORTREVISION. 2009-05-13 09:46:02 +00:00
Ade Lovett
dbd39ca660 Migration from bison 1.x to 2.x 
PR:		117086
Tested by:	-exp runs
 2007-10-17 10:13:01 +00:00
Li-Wen Hsu
91f7d86366 - Update to 1.2.1 2007-09-07 22:54:09 +00:00
Li-Wen Hsu
69dd27cc3c - Change to my FreeBSD.org email 
Approved by:     clsung (mentor)
 2007-04-04 08:49:31 +00:00
Cheng-Lung Sung
8fdb6ad4aa Add cvc3 1.0, an automatic theorem prover for the SMT problem. 
PR:		ports/110770
Submitted by:	Li-Wen Hsu <lwhsu at lwhsu.org>
 2007-03-25 04:04:30 +00:00