diff options
| author | pgj <pgj@FreeBSD.org> | 2014-01-10 05:32:12 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2014-01-10 05:32:12 +0800 |
| commit | 1e8ecc139a38c58921cfe6dbac98c727b1cefd71 (patch) | |
| tree | 604f06bea271b71fb7be1993c1c2ba323b4506e1 /math/hs-Agda | |
| parent | 85c277ebe0c60dd6aa5be2bceb4d04e10cdf1b13 (diff) | |
| download | freebsd-ports-gnome-1e8ecc139a38c58921cfe6dbac98c727b1cefd71.tar.gz freebsd-ports-gnome-1e8ecc139a38c58921cfe6dbac98c727b1cefd71.tar.zst freebsd-ports-gnome-1e8ecc139a38c58921cfe6dbac98c727b1cefd71.zip | |
- Stagify lang/ghc and all the Haskell Cabal ports
- Update HACKAGE_SITE to follow changes in upstream
- MAKE_ENV now sets LC_ALL and DESTDIR for Haskell Cabal ports
- Further minor cosmetical changes: replace USE_GMAKE with USES, get rid of
${DO_NADA}, some refactoring
Obtained from: FreeBSD Haskell
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 631295b9c1d6..027a0860bcc8 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -19,14 +19,13 @@ USES= iconv EXECUTABLE= agda-mode agda -INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${DATADIR}; \ - cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${DATADIR}) +INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${STAGEDIR}${DATADIR}; \ + cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${STAGEDIR}${DATADIR}) OPTIONS_DEFINE= EPIC EPIC_DESC= Install the Epic compiler -NO_STAGE= yes .include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk" .if ${PORT_OPTIONS:MEPIC} |