[135530] trunk/dports/devel

[cal at macports.org]

Revision: 135530
          https://trac.macports.org/changeset/135530
Author:   cal at macports.org
Date:     2015-04-25 10:40:27 -0700 (Sat, 25 Apr 2015)
Log Message:
-----------
new port: aspcud, a SAT solver for package dependencies in CUDF, closes #46843

Added Paths:
-----------
    trunk/dports/devel/aspcud/
    trunk/dports/devel/aspcud/Portfile
    trunk/dports/devel/aspcud/files/
    trunk/dports/devel/aspcud/files/patch-libcudf-src-dependency.cpp.diff

Added: trunk/dports/devel/aspcud/Portfile
===================================================================
--- trunk/dports/devel/aspcud/Portfile	                        (rev 0)
+++ trunk/dports/devel/aspcud/Portfile	2015-04-25 17:40:27 UTC (rev 135530)
@@ -0,0 +1,43 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
+# $Id$
+
+PortSystem 1.0
+PortGroup cmake 1.0
+
+name                aspcud
+version             1.9.0
+categories          devel math
+platforms           darwin
+maintainers         nomaintainer
+license             GPL-3
+description         CUDF package dependency solver
+long_description \
+    Aspcud is a solver for package dependencies. A package universe and a request \
+    to install, remove, or upgrade packages have to be encoded in the CUDF format. \
+    Such a CUDF document can then be passed to aspcud along with an optimization \
+    criteria to obtain a solution to the given package problem.
+
+homepage            http://potassco.sourceforge.net
+master_sites        sourceforge:potassco
+
+distname            ${name}-${version}-source
+
+checksums           rmd160  a144ff194fb5001baf22d23a0104b903eab2fcb1 \
+                    sha256  e38c0a5c2622a7ba6f0ae0e575f11b47ff126f44d188e0b43ea2ccc676192009
+
+depends_build-append \
+                    port:boost \
+                    port:re2c
+depends_lib         port:clasp \
+                    port:gringo
+
+patchfiles          patch-libcudf-src-dependency.cpp.diff
+
+worksrcdir          ${name}-${version}-source
+
+cmake.out_of_source yes
+configure.args-append \
+                    -DCMAKE_BUILD_TYPE=Release
+
+livecheck.url       http://sourceforge.net/projects/potassco/files/${name}/
+livecheck.regex     potassco/files/aspcud/(\[0-9\\.\]+)/


Property changes on: trunk/dports/devel/aspcud/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native

Added: trunk/dports/devel/aspcud/files/patch-libcudf-src-dependency.cpp.diff
===================================================================
--- trunk/dports/devel/aspcud/files/patch-libcudf-src-dependency.cpp.diff	                        (rev 0)
+++ trunk/dports/devel/aspcud/files/patch-libcudf-src-dependency.cpp.diff	2015-04-25 17:40:27 UTC (rev 135530)
@@ -0,0 +1,11 @@
+--- libcudf/src/dependency.cpp.orig	2014-03-04 12:09:04.000000000 -0500
++++ libcudf/src/dependency.cpp	2015-02-13 00:16:53.000000000 -0500
+@@ -49,7 +49,7 @@
+ 
+     struct CudfPackageRefFilter {
+         CudfPackageRefFilter(const Cudf::PackageRef &ref) : ref(&ref) { }
+-        bool operator()(const Entity *entity) {
++        bool operator()(const Entity *entity) const {
+             switch (ref->op) {
+                 case Cudf::PackageRef::EQ:
+                     return (entity->version == ref->version || entity->allVersions()) && ref->version != 0;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150425/6248d780/attachment.html>