| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | |
|---|
| 5 | name hs-QuickCheck |
|---|
| 6 | set canonicalname QuickCheck |
|---|
| 7 | version 2.1.0.1 |
|---|
| 8 | categories devel haskell |
|---|
| 9 | maintainers Shin-Cheng Mu |
|---|
| 10 | platforms darwin |
|---|
| 11 | |
|---|
| 12 | description QuickCheck: Automatic testing of Haskell programs |
|---|
| 13 | long_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 | |
|---|
| 23 | homepage http://hackage.haskell.org |
|---|
| 24 | master_sites ${homepage}/packages/archive/${canonicalname}/${version} |
|---|
| 25 | distname ${canonicalname}-${version} |
|---|
| 26 | |
|---|
| 27 | checksums md5 9fbf2948ef7fefc8a6e5dd945156a7dd \ |
|---|
| 28 | sha1 1fd79a1dabaf3a0e86ddc6988067d393aa7da4fc \ |
|---|
| 29 | rmd160 04941d49d02cb25bcfb83cfd82e46b0fea5e45d3 |
|---|
| 30 | |
|---|
| 31 | depends_build port:ghc |
|---|
| 32 | |
|---|
| 33 | configure { system "cd ${worksrcpath} && runhaskell Setup configure --ghc --prefix=${prefix} --enable-library-profiling --with-compiler=${prefix}/bin/ghc" |
|---|
| 34 | } |
|---|
| 35 | |
|---|
| 36 | build { system "cd ${worksrcpath} && runhaskell Setup build" |
|---|
| 37 | } |
|---|
| 38 | destroot { 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 | |
|---|
| 49 | post-activate { system "${prefix}/libexec/${name}/register.sh" } |
|---|
| 50 | |
|---|
| 51 | #pre-deactivate { system "${prefix}/libexec/${name}/unregister.sh" } |
|---|
| 52 | |
|---|
