# $Id$
PortSystem          1.0
PortGroup           muniversal 1.0

name                cloog-ppl
version             0.15.11
revision            1
categories          devel math

replaced_by         cloog

maintainers         nomaintainer
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.
distfiles
homepage            http://repo.or.cz/w/cloog-ppl.git
# master_sites        ftp://gcc.gnu.org/pub/gcc/infrastructure/ \
#                     http://www.mirrorservice.org/sites/sourceware.org/pub/gcc/infrastructure/

# checksums           md5     060ae4df6fb8176e021b4d033a6c0b9e \
#                     sha1    42fa476a79a1d52da41608a946dcb47c70f7e3b9 \
#                     rmd160  e67b3e72fadf94afc53de7c17b40db76eb00bce2

# depends_lib         port:gmp 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      none
# livecheck.url       [lindex ${master_sites} 0]
# livecheck.regex     ${name}-(\[0-9.\]+)\\.tar.gz

pre-configure {
    ui_error "Please do not install this port since it has been replaced by 'cloog'."
    return -code error
}