Baptiste Daroussin
8a7c77fbbd
Convert s* to USES=zip
2014-03-10 17:01:36 +00:00
Baptiste Daroussin
4650a910d0
Chase boost and icu bump
...
While here convert some LIB_DEPENDS
2014-02-07 11:44:08 +00:00
Baptiste Daroussin
44e9f64a27
Convert LIB_DEPENDS for ports depending on boost
2013-12-12 14:15:03 +00:00
Baptiste Daroussin
1dd0d087e7
Add NO_STAGE all over the place in preparation for the staging support (cat: science)
2013-09-20 22:48:30 +00:00
Ed Schouten
1a384c788d
Remove USE_GCC.
...
All versions of FreeBSD we support are shipped with at least GCC 4.2.1
or Clang. The code seems to build fine with Clang. In fact, on platforms
where we no longer ship libstdc++, this port seems to only build using
Clang.
2013-09-14 19:13:46 +00:00
Ed Schouten
e8fe2d7354
Bump bddsolve to version 1.0.3.
...
Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang.
2013-09-14 19:08:52 +00:00
Mark Linimon
6cf6b4399b
Mark as broken on powerpc.
...
Hat: portmgr
2011-12-28 06:55:26 +00:00
Olli Hauer
c394c56dc0
- remove MD5
2011-07-03 13:22:24 +00:00
Beat Gaetzi
d717f25f58
Bddsolve is a BDD-based tool for solving satisfiability and reachability
...
problems. It uses the BDD package Buddy as a backend.
WWW: http://www.win.tue.nl/~wieger/bddsolve/
Submitted by: ed@
2010-05-12 13:25:37 +00:00
