diff options
Diffstat (limited to 'dev-lang/mlton')
| -rw-r--r-- | dev-lang/mlton/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/mlton/metadata.xml | 1 | ||||
| -rw-r--r-- | dev-lang/mlton/mlton-20180207.ebuild | 6 |
3 files changed, 8 insertions, 3 deletions
diff --git a/dev-lang/mlton/Manifest b/dev-lang/mlton/Manifest index 2285d9ddb956..9f5a45dfd107 100644 --- a/dev-lang/mlton/Manifest +++ b/dev-lang/mlton/Manifest @@ -2,5 +2,5 @@ AUX mlton-20180207-bootstrap.patch 980 BLAKE2B 4128d0d3aae1e30c6b234e9cc3e0d91ee AUX mlton-20180207-paxmark.patch 728 BLAKE2B 05bb27260dc8007a815ce74276a537a48127b4c336472afca571c39b0e29368be5be79ae03c21940dde6bd37f79613817adc8f22d986d570fab4cb184051b141 SHA512 78526ab383f481663cc892938f74ad1783aa7a2b1fcfd7032a67c4489daa5d141877806fb16232b8f0843e7b4e001d3f76a9a171a8da6413cd921688f493f7f9 DIST mlton-20180207-1.amd64-linux.tgz 18772644 BLAKE2B 7fe2d9db7edfb2d3e301be88e90b7dffe1441ff315ddac1464ef42fb436be1a9dc4e2c03fdb93880779360aed04cb7662a1a5a733f2d4158082d228f718d8b93 SHA512 74ab847ff567cde365a113f8819bae69cc18df20c441a6c6666b600980d2687faf143311f42be21a261b2493dc5c45fbecb4737c599cf767c3680afec06c2e0c DIST mlton-20180207.src.tgz 25003695 BLAKE2B 8cddfe83c76e05fda446917ddc85035b3d74534fe4bc597a839cd13cb59a15538f40a3f68bb8f7136f9cf8cb27a582e88ca0d14b8f7a4582a202b3bd075f3c9a SHA512 3599159950e857d257abce92abf5c548dd9c0b0cdc4ba0d7cdf9badb5d997f73386cd1ff79f563221b394dd831cb344e287927f90683b0715678edb3ca0ae15a -EBUILD mlton-20180207.ebuild 7028 BLAKE2B 7789dce341ee7a92f26a5dd706ac169b78d946fe4015743c277e8d0cdd629d253a4f4748acc360098accf8df66d9daecdd8119d6dd7161e301b486afdba50ea4 SHA512 af7f7698fb809a9f547d161104507508d64f476f0e34baf7865bd446520a9203710959cb0c33245047841b2a20cf2e83f8bce3f678833f548967d2aeea8a7ae7 -MISC metadata.xml 695 BLAKE2B 1337d3e75b251006be201ea33faa842f747515ec7a816d336767960bfe06fdc1ab5f70ba6e40ceddc61cd7c7914ad6171705db261bd3425ca089beecfd8ff0be SHA512 c1021b1c91af678cc34477cdcd7d579f07862df34e97e4a67a98539499329092d2ce443e0ed0477044a144b50e6f12a9e5db8fb3893cee475cc9d14a5b76e845 +EBUILD mlton-20180207.ebuild 7126 BLAKE2B faf0969c45b8733f13337ca0df2f5ed24818162f4f8f67fd3ae4d58aa3af3b32680016f320412a642dc4b1aff66dd64f7e270236a1eb7c167cee9cbceacff28c SHA512 c9f792fe9eac895cd98f528d337d3415eb14206ca03ed709c3fdecc24a9c326e0a36f67e9b45cb7a79c8aac62fce7b7d7f793bd146f985cd560f07ecd1723e6e +MISC metadata.xml 746 BLAKE2B 7a42ac83f43058486cd53bdf20666c2be5b0d02c17aa72cc0c8cdd65915449b345380580af44d0ddd230cc7ceba55c5371dc0f6149689ed6b70ceda6e93a6e12 SHA512 e8fb8097be40cd1d8a0fd06970393fdff95fdf21e56cd059f986bd7b26d3917acfbaec4fe00742c2db81c7791595014ccf93fa6efff44649a5c41ef991474184 diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index b6e787edaff3..4b9fb56b4de7 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/metadata.xml @@ -14,5 +14,6 @@ </use> <upstream> <remote-id type="sourceforge">mlton</remote-id> + <remote-id type="github">MLton/mlton</remote-id> </upstream> </pkgmetadata> diff --git a/dev-lang/mlton/mlton-20180207.ebuild b/dev-lang/mlton/mlton-20180207.ebuild index 22cd719e8d45..44e66eaa657c 100644 --- a/dev-lang/mlton/mlton-20180207.ebuild +++ b/dev-lang/mlton/mlton-20180207.ebuild @@ -3,7 +3,7 @@ EAPI=7 -inherit check-reqs multibuild pax-utils +inherit check-reqs flag-o-matic multibuild pax-utils DESCRIPTION="Standard ML optimizing compiler and libraries" BASE_URI="https://downloads.sourceforge.net/${PN}" @@ -172,6 +172,10 @@ src_prepare() { } mlton_src_compile() { + # produces invalid codegen for twelf + # https://bugs.gentoo.org/863266 + filter-lto + if [[ ${MULTIBUILD_VARIANT} == $(mlton_bootstrap_variant) ]]; then emake -j1 \ "bootstrap-smlnj" \ |