diff options
Diffstat (limited to 'dev-lang/ats2')
| -rw-r--r-- | dev-lang/ats2/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/ats2/ats2-0.4.2-r1.ebuild | 11 | ||||
| -rw-r--r-- | dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch | 11 |
3 files changed, 19 insertions, 7 deletions
diff --git a/dev-lang/ats2/Manifest b/dev-lang/ats2/Manifest index 99f63fbfb85c..544f541f2f73 100644 --- a/dev-lang/ats2/Manifest +++ b/dev-lang/ats2/Manifest @@ -1,7 +1,7 @@ AUX 50ats2-gentoo.el 200 BLAKE2B 4e07607ab27c87422e5f770746b3d077ca8c2564cb8a3a3bd79411c900dd41a2c1d79df1200b1fad19e8356fc22fb2250ea3f2aac95fa3e5ef9e696b397b59d7 SHA512 06c7550aca601a813dda7f3cc29642479cae27e4f605edd19bb3c41b5f76afdb84723bc81754d067eadd5e6074699969557459bfaf4200d3ecff8dc1867e4635 -AUX ats2-0.4.2-makefile_dist.patch 159 BLAKE2B 6a9ab24d381f259c858186223b803b4554fa1d507383b2835a80ed4078ba1036ec9876f009b321c81a765b2e94a8475b60bc1f95e631aac82dea065b6d52824e SHA512 5bd9a8259f523c86c21f18aee27d86e9d229c44f7af7ee77776c847d0d375c35448bce984f95e8a1b5e80b86f82ad537431b1203a31c6bf635d14185c4fc30d1 +AUX ats2-0.4.2-makefile_dist.patch 466 BLAKE2B 2eb3477287601800b0932474294216e6888358481b95350799f050307c15e486e9f45b5a6c78b027b42bb4b9725097b019bef791b7f331fef004a2aabb2e7c4b SHA512 09102c51daa29b6e92a6231b6eb600654bf2b3e0a827f89603676874714a4073b9c4d9e6ccfcd8b68e4fb1ad264b8f00e705284514af0b24c3baf1a2b57a54fe DIST ATS2-Postiats-gmp-0.4.2.tgz 4532277 BLAKE2B 3263ab8790c737a2a4f30d2acb770e4f5d3bbedd40136bbf07283541f5b6678aaba7031cf4a2e77552755e5510fcc65446dfc3499645f5c7f4c4e5bc52e8942d SHA512 cfc3f15b1365badcdce535afc7e71ffe25471f2661bdc47294b77c917049566eee4eeb8ec373f4121ad474b8528263d7b3ff8627c1f5b7f3ea7475cb95ca7597 DIST ats2-0.4.2-2-deprecated-cl-package.patch 2456 BLAKE2B 6a81727dd0dd384009683ce430d1d50caf1fea0d02f31ae0fab4e60861f657d348a334f454e0ea44024a10599c449385ec8bf694463a4a8d956648610c0a6f6f SHA512 1746072b88d8987648a0c7d606c1e0dd1b38d07d1119b89ca6999327aa81068c70e26ddc70bd26a7f5d1d1826fa0e71320a6d52f39aa05c2cd1d858557ba3afc DIST ats2-0.4.2-2-prelude-function-prototypes.patch 3715 BLAKE2B aff950ceb7b5419973b8ed8a82de92780a32ca4c5beb8856dfe89409fd47d91e154251cb8ab0d978a9ac50f2b6f91395629c78ddecfbc28c91a6b6314af80a7e SHA512 a4bda6c244a94347ec5b32f8b68e4057bf3a442bc8e5e08a7c059881366d25f93193e7d9942d93e2d80082ba9cd08a5fd0bc7b41b74c5056be83cd10a89c55f1 -EBUILD ats2-0.4.2-r1.ebuild 2587 BLAKE2B 73c97d60777f5e0a1e14b159229f324033980857d276ae82c1daa28856b76112d83dd5615aeccf814ced66a1dfeee59a9386b4e9db9bf0ac932a664f27735e53 SHA512 c421a9bf410c3f834b09d6c7d805b2d6b512e7e6271e16504b0362cf6efdd3de665c536fba86c67a488cc50986150b3d8da84789d8a0f8eae56426e9ca410011 +EBUILD ats2-0.4.2-r1.ebuild 2545 BLAKE2B 40c38d8b3d9c64fdc9db41b4767952461e67cdd0a701f5f443f14f79bc7fe99207387531dd8a862c00a30bffbd1725cffb80274668df4fc05253e616922386eb SHA512 84c87e25925ebcaf65312b9ca5ea61780914d050423fdef782c7ceb2704ea9105ee41ea2a1e0cafe058bccb05f6d3e41fefde3905461b0d2a1ba502add3b0a1c MISC metadata.xml 980 BLAKE2B ba3d935ee5cd32484046247817252585e5f1e8fc4fa502c7689ef90437674a02ca32506c59fadf6489ea43fb8ed769fece9554f7ab32b3e2774e382e66ae5cfc SHA512 86d721588d9c4f1e352c9b4cde43df44db269fb5189ed951244e57f7fe0c86fbc561ede3b5d09ab4b4a50b5fd036eac813e7619e462b2a9d382ec49176229380 diff --git a/dev-lang/ats2/ats2-0.4.2-r1.ebuild b/dev-lang/ats2/ats2-0.4.2-r1.ebuild index 48cf6674525b..1c0702352d71 100644 --- a/dev-lang/ats2/ats2-0.4.2-r1.ebuild +++ b/dev-lang/ats2/ats2-0.4.2-r1.ebuild @@ -3,7 +3,7 @@ EAPI=8 -inherit elisp-common flag-o-matic toolchain-funcs +inherit elisp-common toolchain-funcs DESCRIPTION="Functional programming language with dependent types" HOMEPAGE="https://www.cs.bu.edu/~hwxi/atslangweb/ @@ -61,14 +61,15 @@ src_prepare() { -e "s|ar -r|$(tc-getAR) ${ARFLAGS} -r|g" \ || die + sed -i contrib/CATS-atscc2js/Makefile \ + -i src/CBOOT/Makefile \ + -e "/^AR=/s|ar|$(tc-getAR) ${ARFLAGS}|" \ + || die + rm utils/emacs/flycheck-ats2.el || die } src_compile() { - # Not really accurate but need Makefile investigation and patches. - # See: https://bugs.gentoo.org/941105 and https://bugs.gentoo.org/923881 - filter-lto - emake -j1 CC="$(tc-getCC)" GCC="$(tc-getCC)" CCOMP="$(tc-getCC)" all if use emacs ; then diff --git a/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch b/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch index ce24f44d32fc..94eb787121b7 100644 --- a/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch +++ b/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch @@ -11,3 +11,14 @@ ###### # +--- a/Makefile_dist ++++ b/Makefile_dist +@@ -78,7 +78,7 @@ LDFLAGS= + # + src2_patsopt: ; \ + $(MAKEJ4) -C src/CBOOT patsopt \ +-CCOMP=$(CCOMP) GCFLAG=$(GCFLAG) LDFLAGS=$(LDFLAGS) ++CCOMP="$(CCOMP)" GCFLAG="$(GCFLAG)" LDFLAGS="$(LDFLAGS)" + # + bin2_patsopt: src2_patsopt ; $(CPF) src/CBOOT/patsopt bin/patsopt + # |