[26579] trunk/dports/lang

source_changes at macosforge.org source_changes at macosforge.org
Thu Jun 28 20:48:11 PDT 2007


Revision: 26579
          http://trac.macosforge.org/projects/macports/changeset/26579
Author:   jmpp at macports.org
Date:     2007-06-28 20:48:10 -0700 (Thu, 28 Jun 2007)

Log Message:
-----------

New Port: lang/Omega. Closes #12190.

Committed with some minor changes:

 * no need to use the long format for checksums when there's only one distfile (i.e. removed ${distname}.zip);
 * removed unnecessary hack to find the sources dir (ln in pre-patch), instead re-defining the worksrcdir variable;
 * moved the patchfiles statement right below the worksrcdir redefinition for clarity.

Thanks to ggreif at gmail.com for the contribution!

Added Paths:
-----------
    trunk/dports/lang/Omega/
    trunk/dports/lang/Omega/Portfile
    trunk/dports/lang/Omega/files/
    trunk/dports/lang/Omega/files/patch-Makefile.diff

Added: trunk/dports/lang/Omega/Portfile
===================================================================
--- trunk/dports/lang/Omega/Portfile	                        (rev 0)
+++ trunk/dports/lang/Omega/Portfile	2007-06-29 03:48:10 UTC (rev 26579)
@@ -0,0 +1,33 @@
+# $Id$
+PortSystem 1.0
+name                    Omega
+version                 1.4.2
+categories              lang
+platforms               darwin freebsd
+maintainers             gmail.com:ggreif
+description             An interpreted, functional language with an expressive type system
+long_description \
+    Omega is a strict dialect of Haskell \
+    providing type-level computations and \
+    by this virtue integrates a theorem prover.
+
+homepage                http://web.cecs.pdx.edu/~sheard/Omega/
+master_sites            ${homepage}
+distname                Omega${version}b
+checksums               md5 b5e5505626a1d5bdc8c539ce54112946 \
+                        sha1 93752d7a24a1c6f9f1b21268c51726fd55e0f260 \
+                        rmd160 611b6c4870e647634488c96d9eae27bf22846ebc
+
+use_zip                 yes
+
+worksrcdir              ${name}
+patchfiles              patch-Makefile.diff
+
+use_configure           no
+
+build.target            strip
+depends_build           port:ghc
+depends_lib             port:readline
+
+destroot.destdir        DESTDIR=${destroot}${prefix}
+


Property changes on: trunk/dports/lang/Omega/Portfile
___________________________________________________________________
Name: svn:keywords
   + Id
Name: svn:eol-style
   + native

Added: trunk/dports/lang/Omega/files/patch-Makefile.diff
===================================================================
--- trunk/dports/lang/Omega/files/patch-Makefile.diff	                        (rev 0)
+++ trunk/dports/lang/Omega/files/patch-Makefile.diff	2007-06-29 03:48:10 UTC (rev 26579)
@@ -0,0 +1,35 @@
+--- Makefile.orig	2007-06-28 00:44:41.000000000 +0200
++++ Makefile	2007-06-28 19:51:54.000000000 +0200
+@@ -1,14 +1,15 @@
+ MAIN             = Main
+-EXEC             = omega.exe
++EXEC             = omega
+ GHC              = ghc
+ GHCI             = ghci
+-GHC_FLAGS        = -auto-all  $(GHC_FLAGS_COMMON)
++GHC_FLAGS        = -O -auto-all  $(GHC_FLAGS_COMMON)
+ GHCI_FLAGS       = $(GHC_FLAGS_COMMON)
+ GHC_FLAGS_COMMON = -fglasgow-exts -fallow-undecidable-instances
+ HUGS             = hugs
+ HUGS_FLAGS       = -98 -P:../Lib:../Lib/Parser
++DESTDIR          = 
+ 
+-.PHONY: all clean
++.PHONY: all strip clean install
+ 
+ all: *.hs
+ 	$(GHC) $(GHC_FLAGS) -o $(EXEC) --make $(MAIN)
+@@ -22,8 +23,12 @@
+ hugs-%: %.hs
+ 	$(HUGS) $(HUGS_FLAGS) $*
+ 
+-clean :
++clean:
+ 	rm -f *.hi *.o *.prof
+ 
++strip: all
++	strip $(EXEC)
+ 
++install:
++	install $(EXEC) LangPrelude.prg $(DESTDIR)/bin
+ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20070628/8a818426/attachment.html


More information about the macports-changes mailing list