diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 4c8c8bf06f16..65e91932564b 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -1,79 +1,78 @@ # Created by: Giuseppe Pilichi aka Jacula Modyun # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.6.1 -PORTREVISION= 5 +PORTVERSION= 2.6.1.3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant BROKEN_i386= Compiler goes out of memory BUILD_DEPENDS= emacs:editors/emacs USES= cabal USE_LOCALE= en_US.UTF-8 USE_CABAL= Cabal-3.0.2.0 \ STMonadTrans-0.4.4 \ aeson-1.4.7.1_1 \ alex-3.2.5 \ async-2.2.2_1 \ attoparsec-0.13.2.4 \ base-compat-0.11.1 \ base-compat-batteries-0.11.1 \ base-orphans-0.8.2 \ blaze-builder-0.4.1.0 \ blaze-html-0.9.1.2 \ blaze-markup-0.8.2.5 \ boxes-0.1.5 \ data-hash-0.2.0.1 \ dlist-0.8.0.8 \ edit-distance-0.2.2.1_1 \ equivalence-0.3.5 \ fail-4.9.0.0 \ geniplate-mirror-0.7.7 \ gitrev-1.3.1 \ happy-1.19.12 \ hashable-1.3.0.0_1 \ hashtables-1.2.3.4 \ ieee754-0.8.0 \ integer-logarithms-1.0.3_2 \ murmur-hash-0.1.0.9 \ network-uri-2.6.3.0 \ primitive-0.7.0.1 \ random-1.1_1 \ regex-base-0.94.0.0_1 \ regex-tdfa-1.3.1.0_1 \ scientific-0.3.6.2 \ split-0.2.3.4 \ strict-0.3.2 \ tagged-0.8.6_2 \ th-abstraction-0.3.2.0 \ time-compat-1.9.3 \ transformers-compat-0.6.5 \ unordered-containers-0.2.10.0_1 \ uri-encode-1.5.0.5 \ utf8-string-1.0.1.1_3 \ uuid-types-1.0.3_2 \ vector-0.12.1.2 \ zlib-0.6.2.1_1 EXECUTABLES= agda-mode agda agda_DATADIR_VARS= Agda agda-mode_DATADIR_VARS= Agda post-build: # Do not compile Emacs mode files until https://github.com/agda/agda/issues/4610 is fixed # ${SETENV} Agda_datadir=${WRKSRC}/src/data $$(find ${WRKSRC}/dist-newstyle -name agda-mode -type f -perm +111) compile post-install: ${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} ${PORTNAME}_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \; cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR} cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR} .include diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index 3a486ccf2bc4..4ba66d6d366c 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,117 +1,117 @@ -TIMESTAMP = 1588841486 -SHA256 (cabal/Agda-2.6.1.tar.gz) = 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 -SIZE (cabal/Agda-2.6.1.tar.gz) = 2646289 +TIMESTAMP = 1614527277 +SHA256 (cabal/Agda-2.6.1.3.tar.gz) = bb1bc840cee95eea291bd220ea043b60153a6f7bd8198bc53be2bf3b83c8a1e7 +SIZE (cabal/Agda-2.6.1.3.tar.gz) = 2716612 SHA256 (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 65d3d7e953388df26c748c4ca2c57175e71a71e779fe6b1a77f6639c4336ea07 SIZE (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 758932 SHA256 (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 1ae82a40060b8014981b8f4d45517f80f02456e73245030993c4c9123b827103 SIZE (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 6298 SHA256 (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 07e746655fd9bec81c59927c5617877ff4fcd81d0df45c5fb8ef154fb8f40294 SIZE (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 277911 SHA256 (cabal/aeson-1.4.7.1/revision/1.cabal) = 6d8d2fd959b7122a1df9389cf4eca30420a053d67289f92cdc0dbc0dab3530ba SIZE (cabal/aeson-1.4.7.1/revision/1.cabal) = 7098 SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3 SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531 SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927 SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934 SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2 SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431 SHA256 (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 356f1542ec93e7192a9073d32a8ef1e48194275495dcec7fb0d241f4baaf6d36 SIZE (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 33691 SHA256 (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = caf66fed3c0a3b0437692cad18c93a7074e8524a86b8be1ce04d0a18cbf6aed8 SIZE (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = 16748 SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee418428a22c72b9391557bc1fe2f93bd643f7754b36b9eb01 SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727 SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814 SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365 SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617 SHA256 (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 1bd3ba68775e4a11efc71567e30e8ef3d27801c6b5fe4a1abf57dd747af37661 SIZE (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 14529 SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3 SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598 SHA256 (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504 SHA256 (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 7129cf18068d3384e305708a10426ab8f573bee1030b023a114f45f1d0ec496d SIZE (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 9262 SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228 SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351 SHA256 (cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz) = 17ab5a2a6759f6855de40acdd9dde0d0f89e9d9219a4bc8e52623816da97f698 SIZE (cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz) = 8313 SHA256 (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 6d5cdb1a5c539425a9665f740e364722e1d9d6ae37fbc55f30fe3dbbbb91d4a2 SIZE (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 2416 SHA256 (cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz) = 6b64885458d7a0a89ff452ea5d4a663f6fb3e4573e54f57141dfecdfa9ce8423 SIZE (cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz) = 9448 SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332 SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756 SHA256 (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a66db9f97da1ce32ec4fffea4b78a0daeb40f SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254 SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4 SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835 SHA256 (cabal/hashable-1.3.0.0/revision/1.cabal) = 4c70f1407881059e93550d3742191254296b2737b793a742bd901348fb3e1fb1 SIZE (cabal/hashable-1.3.0.0/revision/1.cabal) = 5206 SHA256 (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 125ce62701fba3f666609f5c75f452005aa5d32dff4eeee3f3903c30b2ed55e6 SIZE (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 58458 SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1 SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564 SHA256 (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262018698af35bb74916fad170d96d3eb44669c72ed36db9a19a3392cec16 SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840 SHA256 (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 63d42595ec92b71ac98a07b984b0a2eb3d4956f4ad2d856c3bf6fc3dc218d228 SIZE (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 2820 SHA256 (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 89b9db94ead4cc0784dbcfb47c51b5664c1718860db00cd8ada3ef6fdd4465ad SIZE (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 4204 SHA256 (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = a01c1389f15d2cc2e847914737f706133bb11f0c5f8ee89711a36a25b7afa723 SIZE (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = 31997 SHA256 (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = dd8bb7d829f492d6200fca4a839a7563b80571c5f76b4d0fa76700ebe897f7dd SIZE (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = 66023 SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a SIZE (cabal/random-1.1/random-1.1.tar.gz) = 10870 SHA256 (cabal/random-1.1/revision/1.cabal) = 7b67624fd76ddf97c206de0801dc7e888097e9d572974be9b9ea6551d76965df SIZE (cabal/random-1.1/revision/1.cabal) = 1777 SHA256 (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = c41f82f5fc1157c961a4cbdc0cd5561e5aa44f339ce6e706d978d97e0ca6b914 SIZE (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = 9679 SHA256 (cabal/regex-base-0.94.0.0/revision/1.cabal) = 44aa95ca762294ffbb28cf0af9c567d93b5d2c56e4f38ce5385a257d899f968e SIZE (cabal/regex-base-0.94.0.0/revision/1.cabal) = 2253 SHA256 (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 15c376783d397b3b9933cf35980808feddde273bd6f2445babbccb2f76a42ec0 SIZE (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 77767 SHA256 (cabal/regex-tdfa-1.3.1.0/revision/1.cabal) = bec13812a56a904ff3510caa19fe1b3ce3939e303604b1bcb3162771c52311ba SIZE (cabal/regex-tdfa-1.3.1.0/revision/1.cabal) = 6324 SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510 SHA256 (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 271fe5104c9f40034aa9a1aad6269bcecc9454bc5a57c247e69e17de996c1f2a SIZE (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 15942 SHA256 (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 2cd35a67938db635a87617d9576d5df0158b581e8e5694f07487c0f4b1549221 SIZE (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 3948 SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759 SHA256 (cabal/tagged-0.8.6/revision/2.cabal) = 1f7ca84e6c88cbb923641c60041c9f56c34f1a889759cc073cdf10542b441ff9 SIZE (cabal/tagged-0.8.6/revision/2.cabal) = 2606 SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79 SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111 SHA256 (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = bb6a44e667945ddca8ded93e041ee91986a4a19f59e149a5dd21fdb1bfa3db88 SIZE (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = 50050 SHA256 (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = da67cf11515da751b32a8ce6e96549f7268f7c435769ad19dc9766b69774620b SIZE (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = 40421 SHA256 (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 65f117bdbdea9efc75fb9fd539873de7687e005d8898bb21821020a4b383c573 SIZE (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 44733 SHA256 (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5e9b095a9283d9e2f064fec73a81a6b6ea0b7fda3f219a8175785d2d2a3de204 SIZE (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5199 SHA256 (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = e82b588aad63112d34f6bad6f1ef72489b9edebfe14f2f523dc1dabdcbe2b186 SIZE (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = 3447 SHA256 (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140 SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667 SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151 SHA256 (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 9276517ab24a9b06f39d6e3c33c6c2b4ace1fc2126dbc1cd9806866a6551b3fd SIZE (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 11999 SHA256 (cabal/uuid-types-1.0.3/revision/2.cabal) = 2cab161f274309cfd9ef62694a6bd1b47525bc4c79a827293b055e4a9eadb4d2 SIZE (cabal/uuid-types-1.0.3/revision/2.cabal) = 2473 SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049 SHA256 (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = f0f810ff173560b60392db448455c0513b3239f48e43cb494b3733aa559621d0 SIZE (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = 143424 SHA256 (cabal/zlib-0.6.2.1/revision/1.cabal) = d34ddf5fece4d1e9d471b5298f36335bb3cfe12cb5a1b8525c42f0b665382f45 SIZE (cabal/zlib-0.6.2.1/revision/1.cabal) = 4547 diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal deleted file mode 100644 index 6e4f2368b181..000000000000 --- a/math/hs-Agda/files/patch-Agda.cabal +++ /dev/null @@ -1,11 +0,0 @@ ---- Agda.cabal.orig 2020-03-16 02:17:02 UTC -+++ Agda.cabal -@@ -238,7 +238,7 @@ library - -- In hTags the mtl library must be compiled with the version of - -- transformers shipped with GHC, so we use that version in Agda (see, - -- for example, Issue #2983). -- if impl(ghc >= 8.6.4) && impl(ghc < 8.10.2) -+ if impl(ghc >= 8.6.4) && impl(ghc < 8.10.99) - build-depends: transformers == 0.5.6.2 - - if impl(ghc >= 8.4) && impl(ghc < 8.6.4)