[64961] trunk/dports/devel/hs-type-level/Portfile

[gwright at macports.org]

Revision: 64961
          http://trac.macports.org/changeset/64961
Author:   gwright at macports.org
Date:     2010-03-18 07:39:33 -0700 (Thu, 18 Mar 2010)
Log Message:
-----------
Use PortGroup haskell infrastructure.

Modified Paths:
--------------
    trunk/dports/devel/hs-type-level/Portfile

Modified: trunk/dports/devel/hs-type-level/Portfile
===================================================================
--- trunk/dports/devel/hs-type-level/Portfile	2010-03-18 14:27:40 UTC (rev 64960)
+++ trunk/dports/devel/hs-type-level/Portfile	2010-03-18 14:39:33 UTC (rev 64961)
@@ -2,49 +2,39 @@
 
 PortSystem 1.0
 
-name		hs-type-level
-set canonicalname	type-level
-version		0.2.1
-categories	devel haskell
-maintainers	gwright
+PortGroup	haskell 1.0
+haskell.setup	type-level 0.2.4
+maintainers	nomaintainer
 platforms	darwin
 
-description	Type level programming library for GHC
+description	Type-level programming library
 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.
+	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. With	\
+	regard to Numerals, there is support for common arithmetic	\
+	operations (addition, substraction, multiplication, division,	\
+	exponientation, logarithm, maximum, comparison, GCD) over	\
+	natural numbers (using a decimal representation to make		\
+	compile-time errors friendlier). Although making use of		\
+	type-level computations might seem devious and obfuscated at	\
+	first sight, it is indeed useful in practice to implement	\
+	lightweight dependent types such us number-parameterized types	\
+	(e.g. an array type parameterized by the array's size or a	\
+	modular group type Zn parameterized by the modulus).
 
-homepage	http://code.haskell.org/${canonicalname}
-master_sites	http://hackage.haskell.org/packages/archive/${canonicalname}/${version}
-distname	${canonicalname}-${version}
+checksums	md5     4aca3b4fd0a56377ffa79464cf491509 \
+		sha1    3ec9cf2f9016852ce217f1d233d6462c7eba80da \
+		rmd160  03f185a2cad6575f9e73b406ed8fbdb931e32c8f
 
-checksums	md5     0c0700cfe465b917c8b572b238a80fb4		\
-		sha1    ffdabc12b918c0a4fd62a1e5bac7159b041b3fa4	\
-		rmd160  f674ffb8085bfd9ecbd673de3ee8a8d79c13c844
+depends_lib	port:ghc
 
-depends_build	port:ghc
+universal_variant	no
 
-configure	{ system "cd ${worksrcpath} && runhaskell Setup configure --ghc --prefix=${prefix} --with-compiler=${prefix}/bin/ghc --enable-library-profiling"
-		}
+configure.args-append	-v --enable-library-profiling		\
+			--with-gcc=${configure.cc}
 
-build		{ system "cd ${worksrcpath} && runhaskell Setup build -v"
-		}
+build.args-append	-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/20100318/2135a7e6/attachment.html>