diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-10-26 04:04:26 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-10-26 04:04:26 +0100 |
| commit | d0349ca0f4903608beca459a9db2068dab9fa6ea (patch) | |
| tree | a69bc9c4a75f35ecabd3909a181128faf8c0e75b /dev-lang/ats2 | |
| parent | b11a5614cb96e70e116581c98abf286c2cf694ca (diff) | |
gentoo auto-resync : 26:10:2024 - 04:04:26
Diffstat (limited to 'dev-lang/ats2')
| -rw-r--r-- | dev-lang/ats2/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/ats2/ats2-0.4.2-r1.ebuild | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/dev-lang/ats2/Manifest b/dev-lang/ats2/Manifest index 9e305ce9c591..99f63fbfb85c 100644 --- a/dev-lang/ats2/Manifest +++ b/dev-lang/ats2/Manifest @@ -3,5 +3,5 @@ AUX ats2-0.4.2-makefile_dist.patch 159 BLAKE2B 6a9ab24d381f259c858186223b803b455 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 2562 BLAKE2B de29da4655417aae73cdb73190d76a74a150855a5c4b7fab45fe08bad4cdd80149f87439ea49ada8da5e20e8601d153004e7dede64a44d0b1b340f8766a3667e SHA512 1e72703bf46913b4c6cde629405ff5391c56c9b536bbd4c542b2c651aa6a70d8b0654950e9cddd8a2341e63999d108ba7d3e3c3c3628ad09ee9f53165354a9e8 +EBUILD ats2-0.4.2-r1.ebuild 2587 BLAKE2B 73c97d60777f5e0a1e14b159229f324033980857d276ae82c1daa28856b76112d83dd5615aeccf814ced66a1dfeee59a9386b4e9db9bf0ac932a664f27735e53 SHA512 c421a9bf410c3f834b09d6c7d805b2d6b512e7e6271e16504b0362cf6efdd3de665c536fba86c67a488cc50986150b3d8da84789d8a0f8eae56426e9ca410011 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 a1f05aca38fb..48cf6674525b 100644 --- a/dev-lang/ats2/ats2-0.4.2-r1.ebuild +++ b/dev-lang/ats2/ats2-0.4.2-r1.ebuild @@ -12,10 +12,10 @@ HOMEPAGE="https://www.cs.bu.edu/~hwxi/atslangweb/ SRC_URI=" http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-${PV}.tgz - https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/deprecated-cl-package - -> ${PN}-0.4.2-2-deprecated-cl-package.patch - https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/prelude-function-prototypes - -> ${PN}-0.4.2-2-prelude-function-prototypes.patch + https://sources.debian.org/data/main/a/ats2-lang/${PV}-2/debian/patches/deprecated-cl-package + -> ${PN}-${PV}-2-deprecated-cl-package.patch + https://sources.debian.org/data/main/a/ats2-lang/${PV}-2/debian/patches/prelude-function-prototypes + -> ${PN}-${PV}-2-prelude-function-prototypes.patch " S="${WORKDIR}/ATS2-Postiats-gmp-${PV}" @@ -79,7 +79,7 @@ src_compile() { } src_install() { - default + emake -j1 DESTDIR="${D}" install if use emacs ; then cd utils/emacs || die |