source: trunk/dports/devel/cloog-ppl/Portfile @ 77838

Last change on this file since 77838 was 77838, checked in by adfernandes@…, 6 years ago

devel/cloog* update; updated cloog-ppl-15.11 and new port of cloog-16.2; see http://gcc.gnu.org/install/prerequisites.html for how this affects gcc46

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.9 KB
Line 
1# $Id: Portfile 77838 2011-04-14 16:39:02Z adfernandes@macports.org $
2PortSystem          1.0
3
4name                cloog-ppl
5version             0.15.11
6categories          devel math
7
8conflicts           cloog
9
10maintainers         openmaintainer adfernandes
11platforms           darwin
12
13description         The CLooG Code Generator in the Polyhedral Model's Home
14
15long_description    CLooG is a free software and library to generate code for scanning Z-polyhedra. \
16                    That is, it finds a code (e.g. in C, FORTRAN...) that reaches each \
17                    integral point of one or more parameterized polyhedra. CLooG has been \
18                    originally written to solve the code generation problem for optimizing \
19                    compilers based on the polytope model. Nevertheless it is used now in \
20                    various area e.g. to build control automata for high-level synthesis \
21                    or to find the best polynomial approximation of a function. CLooG may \
22                    help in any situation where scanning polyhedra matters. While the user \
23                    has full control on generated code quality, CLooG is designed to avoid \
24                    control overhead and to produce a very effective code.
25
26homepage            http://repo.or.cz/w/cloog-ppl.git
27master_sites        ftp://gcc.gnu.org/pub/gcc/infrastructure/
28
29checksums           md5     060ae4df6fb8176e021b4d033a6c0b9e \
30                    sha1    42fa476a79a1d52da41608a946dcb47c70f7e3b9 \
31                    rmd160  e67b3e72fadf94afc53de7c17b40db76eb00bce2
32
33depends_lib         port:ppl
34
35                    # The 'ppl' port is needed so that 'cloog' can be used with 'gcc45+'. We
36                    # don't use a variant since there's no way to guarantee a variant is set.
37configure.args      --with-ppl=${prefix}
38
39livecheck.type      regex
40livecheck.url       ${master_sites}
41livecheck.regex     ${name}-(\[0-9.\]+)\\.tar.gz
Note: See TracBrowser for help on using the repository browser.