1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
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" )
|
