source: trunk/dports/devel/hs-typenats/Portfile

Last change on this file was 131201, checked in by cal@…, 3 years ago

revbump all haskell ports, follows r131199, #44891

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.9 KB
Line 
1# $Id: Portfile 131201 2015-01-06 19:52:47Z ryandesign@macports.org $
2
3PortSystem 1.0
4name            hs-typenats
5set shortname   typenats
6version         0.2
7revision        1
8categories      devel
9maintainers     nomaintainer
10platforms       darwin
11license             BSD
12
13description     Type level natural numbers for haskell
14long_description        \
15                This library defines type level arithmetic by   \
16                heavily abusing GHC's typechecker. It includes  \
17                the following operations on type level          \
18                naturals:                                       \
19                                                                \
20                    * addition                                  \
21                    * subtraction                               \
22                    * multiplication                            \
23                    * division                                  \
24                    * remainder                                 \
25                    * GCD                                       \
26                                                                \
27                It also contains the following predicates:      \
28                                                                \
29                    * test for zero                             \
30                    * test for equality                         \
31                    * <                                         \
32                    * >                                         \
33                    * <=                                        \
34                    * >=
35
36homepage        http://www.eecs.tufts.edu/~rdocki01/typenats.html
37master_sites    http://www.eecs.tufts.edu/~rdocki01/projects
38distname        ${shortname}-${version}-source
39
40checksums       md5 ee9f4e51b49d927e7ade1034211a14b9
41
42depends_build   port:ghc
43
44pre-configure   {
45                  system -W ${worksrcpath} "ghc -o Setup Setup.hs -package Cabal"
46                }
47
48configure       {
49                  system -W ${worksrcpath} "./Setup configure --ghc --prefix=${prefix} --enable-library-profiling"
50                }
51
52build           {
53                  system -W ${worksrcpath} "./Setup build -v"
54                }
55
56destroot        {
57                  system -W ${worksrcpath} "./Setup copy --copy-prefix=${destroot}${prefix}"
58                  system -W ${worksrcpath} "./Setup register   --gen-script"
59                  system -W ${worksrcpath} "./Setup unregister --gen-script"
60
61                  file mkdir ${destroot}${prefix}/libexec/${name}
62                  file copy ${worksrcpath}/register.sh \
63                            ${destroot}${prefix}/libexec/${name}
64                  file copy ${worksrcpath}/unregister.sh \
65                            ${destroot}${prefix}/libexec/${name}
66                 }
67
68post-activate   { system "${prefix}/libexec/${name}/register.sh" }
69
70pre-deactivate  { system "${prefix}/libexec/${name}/unregister.sh" }
Note: See TracBrowser for help on using the repository browser.