diff options
| author | Mitch Tishmack <mitch.tishmack@gmail.com> | 2017-06-04 18:13:35 +0000 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2017-10-27 23:04:31 +0200 |
| commit | f2a1affc94db5c26008ceac2383a8740a76d6379 (patch) | |
| tree | bc07b6ab695be407c8963e0ab19593cb5bd66408 /testing/idris | |
| parent | cc57909e25afdd9fcefdb2cb74492e51c7ab0bb3 (diff) | |
| download | aports-f2a1affc94db5c26008ceac2383a8740a76d6379.tar.bz2 aports-f2a1affc94db5c26008ceac2383a8740a76d6379.tar.xz | |
testing/idris: bump release, disable building of profiled objects
Diffstat (limited to 'testing/idris')
| -rw-r--r-- | testing/idris/APKBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index ca52a56cf3..5c7887330c 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -3,7 +3,7 @@ # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> pkgname=idris pkgver=1.0 -pkgrel=0 +pkgrel=1 pkgdesc="A Language with Dependent Types" url="http://www.idris-lang.org" # Note: same as ghc, if it gets ported elsewhere this should run too @@ -124,6 +124,8 @@ build() { --datasubdir="$pkgname" \ --dynlibdir="$pkgname" \ --disable-shared \ + --disable-profiling \ + --disable-library-profiling \ --flags='GMP FFI standalone' HOME="$_cabal_home" cabal build } |