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
