source: trunk/dports/devel/Djinn/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.1 KB
Line 
1# $Id: Portfile 131201 2015-01-06 19:52:47Z ryandesign@macports.org $
2
3PortSystem 1.0
4name            Djinn
5version         2006-07-21
6revision        2
7categories      devel
8maintainers     bfulgham
9description     Haskell Theorem Prover
10long_description        \
11                Djinn is a small program that takes a (Haskell) type and \
12                returns a function of that type, if one exists.  In short, \
13                a Haskell type can be seen as a proposition in logic (i.e., \
14                the Curry-Howard isomorphism).  Djinn proves or disproves \
15                the type proposition.  If it manages the proof, it extracts \
16                a program from that. \
17                This is mainly interesting as part of the lambdabot.
18
19homepage        http://www.augustsson.net/Darcs/Djinn/
20platforms       darwin
21master_sites    ${homepage}
22distname        Djinn
23
24checksums       md5 126688753b4ca7f092a434394ed26114
25
26depends_build   port:ghc
27
28configure       {
29                  system -W ${worksrcpath} "runghc Setup configure --ghc --prefix=${prefix}"
30                }
31
32build           {
33                  system -W ${worksrcpath} "runghc Setup build"
34                }
35
36destroot        {
37                  system -W ${worksrcpath} "runghc Setup copy --copy-prefix=${destroot}${prefix}"
38                }
39
40post-activate   {
41                  catch { system -W ${worksrcpath} "runghc Setup unregister"}
42                  system -W ${worksrcpath} "runghc Setup register"
43                }
44
Note: See TracBrowser for help on using the repository browser.