require 'formula'

class Aspcud < Formula
  homepage 'http://potassco.sourceforge.net/'
  url 'https://downloads.sourceforge.net/project/potassco/aspcud/1.8.0/aspcud-1.8.0-source.tar.gz'
  sha1 '8e05dca2bcf3a388a985317b71f2fcd5586351f7'

  depends_on 'boost' => :build
  depends_on 'cmake' => :build
  depends_on 're2c'  => :build
  depends_on 'gringo'
  depends_on 'clasp'

  patch :DATA

  def install
    system "make"
    inreplace "scripts/aspcud.sh", "$base/encodings", "#{share}/encodings"
    bin.install "build/release/bin/cudf2lp"
    bin.install "scripts/aspcud.sh" => "aspcud"
    share.install "scripts/encodings"
  end
end

__END__
FreeBSD SVN: http://svnweb.freebsd.org/ports/head/math/aspcud/files/patch-libcudf-src-dependency.cpp?revision=339367
--- a/libcudf/src/dependency.cpp.orig	2014-01-10 15:13:07.000000000 +0000
+++ b/libcudf/src/dependency.cpp	2014-01-10 15:29:32.000000000 +0000
@@ -49,6 +49,7 @@
     struct CudfPackageRefFilter
     {
         CudfPackageRefFilter(const Cudf::PackageRef &ref) : ref(ref) { }
+		CudfPackageRefFilter &operator = (const CudfPackageRefFilter &t) { return *this; }
         bool operator()(const Entity *entity)
         {
             switch(ref.op)
--- a/scripts/aspcud.sh.orig	2014-01-10 09:34:53.000000000 +0000
+++ b/scripts/aspcud.sh		2014-01-12 00:02:07.000000000 +0000
@@ -60,7 +62,20 @@
	echo
 }

-base="$(dirname "$(readlink -f "$0")")"
+# solve the missing `readlink -f` option on OSX
+canonical_readlink()
+{
+  cd `dirname $1`;
+  __filename=`basename $1`;
+  if [ -h "$__filename" ]; then
+    canonical_readlink `readlink $__filename`;
+  else
+    echo "`pwd -P`/$__filename";
+  fi
+}
+
+
+base=$(canonical_readlink $0)

 # default options
 clasp_opts_def=( "--opt-heu=1" "--sat-prepro" "--restarts=L,128" "--heuristic=VSIDS" "--opt-hierarch=1" "--local-restarts" "--del-max=200000,250" "--save-progress=0" )
@@ -125,8 +125,16 @@
 [[ ${#gringo_opts[*]} -eq 0 ]] && gringo_opts=( "${gringo_opts_def[@]}" )
 clasp_opts=( "${clasp_opts[@]}" "${clasp_opts_implicit[@]}" )

+trendycriterion="-count(removed),-notuptodate(solution),-unsat_recommends(solution),-count(new)"
+
+if [[ $3 == trendy ]]; then
+    criterion=$trendycriterion;
+else
+    criterion=`echo $3 | sed -E -e 's/([+-])(new|removed|changed)/\1count(\2)/g' -e 's/([+-])(notuptodate|unsat_recommends)([^(]|$)/\1\2(solution)\3/g' -e 's/([+-])sum(([a-z]*))/\1sum(\2,solution)/g'`
+fi
+
 if [[ $# -eq 3 ]]; then
-	cudf_opts=( "${cudf_opts[@]}" "-c" "$3" )
+	cudf_opts=( "${cudf_opts[@]}" "-c" "$criterion" )
 elif echo $(basename "$0") | grep -q "paranoid"; then
	[[ $# -ne 2 ]] && { die "error: exactly two arguments expected"; }
	cudf_opts=( "${cudf_opts[@]}" "-c" "paranoid" )