14 Commits

Author SHA1 Message Date
Steve Wills
86cd4fbe5a many ports: mark broken on powerpc64 2016-04-21 16:43:14 +00:00
Mathieu Arnold
597afc47ba Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.
With hat:	portmgr
Sponsored by:	Absolight
2016-04-01 14:25:16 +00:00
John Marino
d1404f6e9b science/bddsolve: Set environment, use CXXFLAGS, cleanup
This port had two main problems:
  1) failure to set the enviroment in the build target
  2) failure to use CXXFLAGS with CXX

While fixing those, clean up a bit:
  3) remove <pre>,<post> by using BROKEN_powerpc instead
  4) use CFLAGS+= to augment CFLAGS
  5) use LDFLAGS+= to augment LDFLAGS
  6) simplify do-build target accordingly

Approved by:	just fix it
2015-02-25 12:01:52 +00:00
Antoine Brodin
ee9b96077b Cleanup plist 2014-11-12 18:48:53 +00:00
Emanuel Haupt
81d2d67887 - Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
2014-03-20 09:34:19 +00:00
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