# $Id: Portfile 77838 2011-04-14 16:39:02Z adfernandes@macports.org $
PortSystem          1.0

name                cloog-ppl
version             0.15.11
categories          devel math

conflicts           cloog

maintainers         openmaintainer adfernandes
platforms           darwin

description         The CLooG Code Generator in the Polyhedral Model's Home

long_description    CLooG is a free software and library to generate code for scanning Z-polyhedra. \
                    That is, it finds a code (e.g. in C, FORTRAN...) that reaches each \
                    integral point of one or more parameterized polyhedra. CLooG has been \
                    originally written to solve the code generation problem for optimizing \
                    compilers based on the polytope model. Nevertheless it is used now in \
                    various area e.g. to build control automata for high-level synthesis \
                    or to find the best polynomial approximation of a function. CLooG may \
                    help in any situation where scanning polyhedra matters. While the user \
                    has full control on generated code quality, CLooG is designed to avoid \
                    control overhead and to produce a very effective code.

homepage            http://repo.or.cz/w/cloog-ppl.git
master_sites        ftp://gcc.gnu.org/pub/gcc/infrastructure/

checksums           md5     060ae4df6fb8176e021b4d033a6c0b9e \
                    sha1    42fa476a79a1d52da41608a946dcb47c70f7e3b9 \
                    rmd160  e67b3e72fadf94afc53de7c17b40db76eb00bce2

depends_lib         port:ppl

                    # The 'ppl' port is needed so that 'cloog' can be used with 'gcc45+'. We
                    # don't use a variant since there's no way to guarantee a variant is set.
configure.args      --with-ppl=${prefix}

livecheck.type      regex
livecheck.url       ${master_sites}
livecheck.regex     ${name}-(\[0-9.\]+)\\.tar.gz