[23773] trunk/dports/devel

[source_changes at macosforge.org]

Revision: 23773
          http://trac.macosforge.org/projects/macports/changeset/23773
Author:   gwright at macports.org
Date:     2007-04-09 09:16:30 -0700 (Mon, 09 Apr 2007)

Log Message:
-----------
New port: hs-typenats version 0.2, Rob Dockin's library for
type level natural numbers.

Added Paths:
-----------
    trunk/dports/devel/hs-typenats/
    trunk/dports/devel/hs-typenats/Portfile

Added: trunk/dports/devel/hs-typenats/Portfile
===================================================================
--- trunk/dports/devel/hs-typenats/Portfile	                        (rev 0)
+++ trunk/dports/devel/hs-typenats/Portfile	2007-04-09 16:16:30 UTC (rev 23773)
@@ -0,0 +1,69 @@
+# $Id: Portfile 22478 2007-03-02 05:16:40Z pipping at macports.org $
+
+PortSystem 1.0
+name		hs-typenats
+set shortname	typenats
+version		0.2
+categories	devel
+maintainers	gwright at macports.org
+platforms	darwin
+
+description	Type level natural numbers for haskell
+long_description	\
+		This library defines type level arithmetic by	\
+		heavily abusing GHC's typechecker. It includes	\
+		the following operations on type level		\
+		naturals:					\
+								\
+		    * addition					\
+		    * subtraction				\
+		    * multiplication				\
+		    * division					\
+		    * remainder					\
+		    * GCD					\
+								\
+		It also contains the following predicates:	\
+								\
+		    * test for zero				\
+		    * test for equality				\
+		    * <						\
+		    * >						\
+		    * <=					\
+		    * >=					\
+
+homepage	http://www.eecs.tufts.edu/~rdocki01/typenats.html
+master_sites	http://www.eecs.tufts.edu/~rdocki01/projects
+distname	${shortname}-${version}-source
+
+checksums	md5 ee9f4e51b49d927e7ade1034211a14b9
+
+depends_build	port:ghc
+
+pre-configure	{ cd ${worksrcpath}
+		  system "ghc -o Setup Setup.hs -package Cabal"
+		}
+
+configure	{ cd ${worksrcpath}
+		  system "./Setup configure --ghc --prefix=${prefix} --enable-library-profiling"
+		}
+
+build		{ cd ${worksrcpath}
+		  system "./Setup build -v"
+		}
+
+destroot	{ cd ${worksrcpath}
+		  system "./Setup copy --copy-prefix=${destroot}${prefix}"
+                  system "./Setup register   --gen-script"
+                  system "./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/20070409/52d473e1/attachment.html