Ticket #17531: Portfile

File Portfile, 2.1 KB (added by scm@…, 16 years ago)
Line 
1# $Id$
2
3PortSystem 1.0
4
5name            hs-QuickCheck
6set canonicalname       QuickCheck
7version         2.1.0.1
8categories      devel haskell
9maintainers     Shin-Cheng Mu
10platforms       darwin
11
12description     QuickCheck: Automatic testing of Haskell programs
13long_description        \
14                QuickCheck is a library for random testing of program properties. \
15                The programmer provides a specification of the program, in the form \
16                of properties which functions should satisfy, and QuickCheck then \
17                tests that the properties hold in a large number of randomly generated \
18                cases.\
19                Specifications are expressed in Haskell, using combinators defined \
20                in the QuickCheck library. QuickCheck provides combinators to define \
21                properties, observe the distribution of test data, and define test data generators.
22
23homepage        http://hackage.haskell.org
24master_sites    ${homepage}/packages/archive/${canonicalname}/${version}
25distname        ${canonicalname}-${version}
26
27checksums       md5     9fbf2948ef7fefc8a6e5dd945156a7dd                \
28                sha1    1fd79a1dabaf3a0e86ddc6988067d393aa7da4fc        \
29                rmd160  04941d49d02cb25bcfb83cfd82e46b0fea5e45d3
30
31depends_build   port:ghc
32
33configure       { system "cd ${worksrcpath} && runhaskell Setup configure --ghc --prefix=${prefix} --enable-library-profiling --with-compiler=${prefix}/bin/ghc"
34                }
35
36build           { system "cd ${worksrcpath} && runhaskell Setup build"
37                }
38destroot        { system "cd ${worksrcpath} && runhaskell Setup copy --copy-prefix=${destroot}${prefix}"
39                  system "cd ${worksrcpath} && runhaskell Setup register   --gen-script"
40                  system "cd ${worksrcpath} && runhaskell       Setup unregister --gen-script"
41
42                  file mkdir ${destroot}${prefix}/libexec/${name}
43                  file copy ${worksrcpath}/register.sh \
44                            ${destroot}${prefix}/libexec/${name}
45                  file copy ${worksrcpath}/unregister.sh \
46                            ${destroot}${prefix}/libexec/${name}
47                }
48
49post-activate   { system "${prefix}/libexec/${name}/register.sh" }
50
51#pre-deactivate { system "${prefix}/libexec/${name}/unregister.sh" }
52