[21162] trunk/dports/devel

[source_changes at macosforge.org]

Revision: 21162
          http://trac.macosforge.org/projects/macports/changeset/21162
Author:   bfulgham at macports.org
Date:     2007-01-09 17:35:53 -0800 (Tue, 09 Jan 2007)

Log Message:
-----------
Add new ports:  Djinn (a theorem prover) and hs-zlib, Haskell bindings
to the ZLIB library.

Added Paths:
-----------
    trunk/dports/devel/Djinn/
    trunk/dports/devel/Djinn/Portfile
    trunk/dports/devel/hs-zlib/
    trunk/dports/devel/hs-zlib/Portfile

Added: trunk/dports/devel/Djinn/Portfile
===================================================================
--- trunk/dports/devel/Djinn/Portfile	                        (rev 0)
+++ trunk/dports/devel/Djinn/Portfile	2007-01-10 01:35:53 UTC (rev 21162)
@@ -0,0 +1,44 @@
+# $Id: Portfile 20549 2006-11-06 18:20:22Z gwright at macports.org $
+
+PortSystem 1.0
+name		Djinn
+version		2006-07-21
+revision	1
+categories	devel
+maintainers	bfulgham at macports.org
+description	Haskell Theorem Prover
+long_description	\
+		Djinn is a small program that takes a (Haskell) type and \
+		returns a function of that type, if one exists.  In short, \
+		a Haskell type can be seen as a proposition in logic (i.e., \
+		the Curry-Howard isomorphism).  Djinn proves or disproves \
+		the type proposition.  If it manages the proof, it extracts \
+		a program from that. \
+		This is mainly interesting as part of the lambdabot.
+
+homepage	http://www.augustsson.net/Darcs/Djinn/
+platforms	darwin
+master_sites	${homepage}
+distname	Djinn
+
+checksums	md5 126688753b4ca7f092a434394ed26114
+
+depends_build	port:ghc
+
+configure	{ cd ${worksrcpath}
+                  system "runghc Setup configure --ghc --prefix=${prefix}"
+		}
+
+build		{ cd ${worksrcpath}
+		  system "runghc Setup build"
+ 		}
+
+destroot	{ cd ${worksrcpath}
+		  system "runghc Setup copy --copy-prefix=${destroot}${prefix}"
+		}
+
+post-activate	{ cd ${worksrcpath}
+		  catch { system "runghc Setup unregister"}
+		  system "runghc Setup register"
+		}
+

Added: trunk/dports/devel/hs-zlib/Portfile
===================================================================
--- trunk/dports/devel/hs-zlib/Portfile	                        (rev 0)
+++ trunk/dports/devel/hs-zlib/Portfile	2007-01-10 01:35:53 UTC (rev 21162)
@@ -0,0 +1,56 @@
+# $Id: Portfile 20275 2006-11-01 16:31:59Z blair at macports.org $
+
+PortSystem 1.0
+name		hs-zlib
+set shortname	zlib
+version		0.2
+categories	devel
+maintainers	gwright at opendarwin.org
+platforms	darwin
+
+description	The Haskell Zlib Binding
+long_description	\
+		Haskell bindings to the Zlib library for compression \
+                and decompression in gzip and zlib format.  The library \
+		acts directly on ByteString values.
+
+homepage	http://www.haskell.org/~duncan/zlib
+master_sites	${homepage}
+distname	${shortname}
+
+set worksrcdir	${shortname}
+
+fetch		{ cd ${workpath}
+		  system "darcs get --partial ${homepage}"
+		}
+
+extract		{ }
+
+checksum	{ }
+
+
+depends_build	port:ghc		\
+		port:darcs
+
+depends_lib	port:zlib
+
+configure	{ cd ${worksrcpath}
+		  reinplace "s|base.*fps|base|" zlib.cabal
+		  system "runghc Setup configure --ghc --prefix=${prefix}"
+		}
+
+build		{ cd ${worksrcpath}
+		  system "runghc Setup build"
+		}
+
+destroot	{ cd ${worksrcpath}
+		  system "runghc Setup copy --copy-prefix=${destroot}${prefix}"
+                }
+
+post-activate   { cd ${worksrcpath}
+		  catch {system "runghc Setup unregister"}
+		  system "runghc Setup register"
+                }
+
+
+ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20070109/3a255210/attachment.html