diff options
| author | Gabor Pali <pgj@FreeBSD.org> | 2012-12-20 02:23:04 +0000 |
|---|---|---|
| committer | Gabor Pali <pgj@FreeBSD.org> | 2012-12-20 02:23:04 +0000 |
| commit | f6f83c9efc2c46d2970746758e2c682bb8a518ec (patch) | |
| tree | 290f2ea61305744bf0f477895c56b92acaeb361f /math/hs-Agda | |
| parent | af071cfdc1f8578bd1523b823e683074a3139a34 (diff) | |
Notes
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 10 | ||||
| -rw-r--r-- | math/hs-Agda/files/patch-Agda.cabal | 7 | ||||
| -rw-r--r-- | math/hs-Agda/files/patch-src__full__Agda__Termination__Lexicographic.hs | 11 | ||||
| -rw-r--r-- | math/hs-Agda/pkg-descr | 2 |
4 files changed, 19 insertions, 11 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 4077c6d640bd..6aaa8cf9d2c7 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -1,13 +1,9 @@ -# New ports collection makefile for: hs-Agda -# Date created: December 20 2009 -# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> -# +# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> # $FreeBSD$ -# PORTNAME= Agda PORTVERSION= 2.3.0.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org @@ -34,7 +30,7 @@ OPTIONS_DEFINE= USE_LOCALE EPIC USE_LOCALE_DESC= Use encoding specified by the locale EPIC_DESC= Install the Epic compiler -.include <bsd.port.options.mk> +.include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk" .if ${PORT_OPTIONS:MUSE_LOCALE} CONFIGURE_ARGS+= --flags="use-locale" diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal index e0c9851b621d..d451dea27c94 100644 --- a/math/hs-Agda/files/patch-Agda.cabal +++ b/math/hs-Agda/files/patch-Agda.cabal @@ -1,5 +1,5 @@ --- ./Agda.cabal.orig 2012-03-12 11:09:34.000000000 +0100 -+++ ./Agda.cabal 2012-05-12 19:53:25.000000000 +0200 ++++ ./Agda.cabal 2012-10-03 22:53:16.000000000 +0200 @@ -71,13 +71,13 @@ if flag(use-locale) build-depends: base >= 4.2 && < 4.6 @@ -10,9 +10,10 @@ if flag(epic) build-depends: epic >= 0.1.13 && < 0.10 - build-depends: mtl == 2.0.*, -+ build-depends: mtl >= 2.0, - QuickCheck >= 2.3 && < 2.5, +- QuickCheck >= 2.3 && < 2.5, - haskell-src-exts >= 1.9.6 && < 1.12, ++ build-depends: mtl >= 2.0, ++ QuickCheck >= 2.3 && < 2.6, + haskell-src-exts >= 1.9.6, containers >= 0.1 && < 0.5, pretty >= 1.0 && < 1.2, diff --git a/math/hs-Agda/files/patch-src__full__Agda__Termination__Lexicographic.hs b/math/hs-Agda/files/patch-src__full__Agda__Termination__Lexicographic.hs new file mode 100644 index 000000000000..907f0bed5274 --- /dev/null +++ b/math/hs-Agda/files/patch-src__full__Agda__Termination__Lexicographic.hs @@ -0,0 +1,11 @@ +--- ./src/full/Agda/Termination/Lexicographic.hs.orig 2012-03-12 11:09:33.000000000 +0100 ++++ ./src/full/Agda/Termination/Lexicographic.hs 2012-10-03 23:48:30.000000000 +0200 +@@ -230,7 +230,7 @@ + , quickCheck' prop_fromDiagonals + , quickCheck' prop_newBehaviour + , quickCheckWith' stdArgs{ maxSuccess = 50 +- , maxDiscard = 200 ++ , maxDiscardRatio = 200 + , maxSize = 20 + } + prop_lexOrder diff --git a/math/hs-Agda/pkg-descr b/math/hs-Agda/pkg-descr index eff01c4dd9ac..5c70fb2cc8f0 100644 --- a/math/hs-Agda/pkg-descr +++ b/math/hs-Agda/pkg-descr @@ -10,4 +10,4 @@ system for constructive mathematics developed by the Swedish logician Per Martin-Lof. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. -WWW: http://wiki.portal.chalmers.se/agda/ +WWW: http://wiki.portal.chalmers.se/agda/ |