[40049] trunk/dports/devel
gwright at macports.org
gwright at macports.org
Thu Sep 18 14:01:51 PDT 2008
Revision: 40049
http://trac.macports.org/changeset/40049
Author: gwright at macports.org
Date: 2008-09-18 14:01:50 -0700 (Thu, 18 Sep 2008)
Log Message:
-----------
New port: hs-type-level, version 0.2.1. Type level booleans
and numerals.
Added Paths:
-----------
trunk/dports/devel/hs-type-level/
trunk/dports/devel/hs-type-level/Portfile
Added: trunk/dports/devel/hs-type-level/Portfile
===================================================================
--- trunk/dports/devel/hs-type-level/Portfile (rev 0)
+++ trunk/dports/devel/hs-type-level/Portfile 2008-09-18 21:01:50 UTC (rev 40049)
@@ -0,0 +1,49 @@
+# $Id: Portfile 24140 2007-04-17 09:35:21Z ryandesign at macports.org $
+
+PortSystem 1.0
+name hs-type-level
+set canonicalname type-level
+version 0.2.1
+categories devel haskell
+maintainers gwright
+platforms darwin
+
+description Type level programming library for GHC
+long_description \
+ This library permits performing computations on \
+ the type-level. Type-level functions are implemented \
+ using functional dependencies of multi parameter type \
+ classes. To date, Booleans and Numerals (Naturals and \
+ Positives) are supported.
+
+homepage http://code.haskell.org/${canonicalname}
+master_sites http://hackage.haskell.org/packages/archive/${canonicalname}/${version}
+distname ${canonicalname}-${version}
+
+checksums md5 0c0700cfe465b917c8b572b238a80fb4 \
+ sha1 ffdabc12b918c0a4fd62a1e5bac7159b041b3fa4 \
+ rmd160 f674ffb8085bfd9ecbd673de3ee8a8d79c13c844
+
+depends_build port:ghc
+
+configure { system "cd ${worksrcpath} && runhaskell Setup configure --ghc --prefix=${prefix} --enable-library-profiling"
+ }
+
+build { system "cd ${worksrcpath} && runhaskell Setup build -v"
+ }
+
+destroot { system "cd ${worksrcpath} && runhaskell Setup copy --copy-prefix=${destroot}${prefix}"
+ system "cd ${worksrcpath} && runhaskell Setup register --gen-script"
+ system "cd ${worksrcpath} && runhaskell Setup unregister --gen-script"
+
+ file mkdir ${destroot}${prefix}/libexec/${name}
+ file copy ${worksrcpath}/register.sh \
+ ${destroot}${prefix}/libexec/${name}
+ file copy ${worksrcpath}/unregister.sh \
+ ${destroot}${prefix}/libexec/${name}
+ }
+
+post-activate { system "${prefix}/libexec/${name}/register.sh" }
+
+#pre-deactivate { system "${prefix}/libexec/${name}/unregister.sh" }
+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080918/dca3d975/attachment.html
More information about the macports-changes
mailing list