diff options
| author | pho <pho@pkgsrc.org> | 2022-02-26 08:07:37 +0000 |
|---|---|---|
| committer | pho <pho@pkgsrc.org> | 2022-02-26 08:07:37 +0000 |
| commit | e8dd3304fd0a4a8ad119c245dad9b3b1e5a65048 (patch) | |
| tree | 6c242deb2b47e0916146f31a76b7b4b547fb7114 /lang/idris/patches | |
| parent | ed4ec61a76abb1b5b44f8d33bf44bb9bfd12ffaa (diff) | |
| download | pkgsrc-e8dd3304fd0a4a8ad119c245dad9b3b1e5a65048.tar.gz | |
lang/idris: Link idris with static Haskell libraries
Also generate shell completion scripts with optparse-applicative.
Diffstat (limited to 'lang/idris/patches')
| -rw-r--r-- | lang/idris/patches/patch-Setup.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/idris/patches/patch-Setup.hs b/lang/idris/patches/patch-Setup.hs index fc42e1249dc..9a7670dca0e 100644 --- a/lang/idris/patches/patch-Setup.hs +++ b/lang/idris/patches/patch-Setup.hs @@ -1,9 +1,9 @@ -$NetBSD: patch-Setup.hs,v 1.3 2021/04/25 11:39:03 pho Exp $ +$NetBSD: patch-Setup.hs,v 1.4 2022/02/26 08:07:37 pho Exp $ * Don't hard-code the gmake command (pkgsrc specific). * Set LD_LIBRARY_PATH while building its standard libraries. This is - needed because we link idris dynamically. + needed when idris is linked dynamically. * Don't try to invoke git. Cabal packages don't come with .git directory. |