diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/Manifest.gz | bin | 36808 -> 36974 bytes | |||
| -rw-r--r-- | dev-ml/coq-menhirlib/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild | 34 | ||||
| -rw-r--r-- | dev-ml/coq-menhirlib/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/lablgtk/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/lablgtk/files/lablgtk-2.18.10-cflags.patch | 5 | ||||
| -rw-r--r-- | dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch | 11 | ||||
| -rw-r--r-- | dev-ml/lablgtk/lablgtk-2.18.12.ebuild | 1 |
8 files changed, 63 insertions, 4 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex d29dde13b62e..1eef21cc7662 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/coq-menhirlib/Manifest b/dev-ml/coq-menhirlib/Manifest new file mode 100644 index 000000000000..beadbc3db22a --- /dev/null +++ b/dev-ml/coq-menhirlib/Manifest @@ -0,0 +1,3 @@ +DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f +EBUILD coq-menhirlib-20220210.ebuild 767 BLAKE2B 5ea27d09d2a1b8a3aa6436ac1e14ddab93e0d4a8098026874a36c59e14e6d1d6f09a297eab5ede5c6289c65439ffcdc850fd37d7b1b9c99e4c47d0ff44eec083 SHA512 e4d4e38874fd12826e9347dfe766f80ad5e967b1259ddbe6493d2d82b6284d591b365b8ad47114f36b205e1fec410bd335e4232cb00dcd62f140330571f7b436 +MISC metadata.xml 233 BLAKE2B 4654803edd576a76b70115913e26d306cc35a2356ed110fb6420e2dd48aef88ab71ee4f5b0cba71b4c2a7624ef42707d405700abf41748e532b9fe0f6cb3b778 SHA512 5158dd5a94fb8cc401825355cc3bb6f04768c6df59fc60593d99f530e27dc448223091a8af25d0e2f4ece9b8a7bf01f4f19f91321901c8f82f55cb4a190b7a70 diff --git a/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild b/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild new file mode 100644 index 000000000000..f0f543ec6276 --- /dev/null +++ b/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild @@ -0,0 +1,34 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A support library for verified Coq parsers produced by Menhir" +HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/" +SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2" +S="${WORKDIR}"/menhir-${PV} + +LICENSE="GPL-2 LGPL-2-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-ml/menhir-${PV}:= + sci-mathematics/coq:= +" +DEPEND="${RDEPEND}" + +src_compile() { + emake -C ${PN} + dune build @install --profile release -p ${PN} || die +} + +src_install() { + emake -C ${PN} DESTDIR="${D}" install + dune_src_install ${PN} + + dodoc ${PN}/CHANGES.md ${PN}/README.md +} diff --git a/dev-ml/coq-menhirlib/metadata.xml b/dev-ml/coq-menhirlib/metadata.xml new file mode 100644 index 000000000000..ff5a0cd1ae3d --- /dev/null +++ b/dev-ml/coq-menhirlib/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> +</pkgmetadata> diff --git a/dev-ml/lablgtk/Manifest b/dev-ml/lablgtk/Manifest index eaab07ddd043..83e69e93cbe6 100644 --- a/dev-ml/lablgtk/Manifest +++ b/dev-ml/lablgtk/Manifest @@ -1,11 +1,12 @@ -AUX lablgtk-2.18.10-cflags.patch 2852 BLAKE2B 9460dc7e50572f006eca3858b485d99b39fd8b29648bde3559f04b431cf0363725a9e3ed324db20fe0177cf1afff58c3436432c2fbb2de219b390d2bd830b494 SHA512 7f731a8ecd8e10de8519e91f346f73d479a31fee22a9c16ba60109e055655d54a66183a1f4a072702597a65c005fb3d17819672edd8d12396e41bb41c9231250 +AUX lablgtk-2.18.10-cflags.patch 2859 BLAKE2B a0112d27ab9b3ad7fcc25cb037220d7d43c4e1737467369715ec5dddcc1aed7c88110f7d7bef2ba41d2edf997acc138b5bdfc0e98f151612da632c36046f2ff5 SHA512 8bfe243c3e6748172195840fefba37215547d57ffa356f63881d78f52323359ca387025a777e679c9638e652696af20bb574ac0a057b2e63b331568cbd65cb36 +AUX lablgtk-2.18.12-Makefile.patch 556 BLAKE2B 180c2c3d62c4be521be9afbc1ff6ca924c691edcb3b077bad2f6af5fe359baf09801ac0947da6cf7aa83f10df832ad242adf7b7b0487e0e7c6af9baad2f0a2c4 SHA512 6089f7c201b0401b9db6ce888a248d6f2916c09a004cae91d37748fda0156056c0924f667e859674e56a91c37fed7eae3a47c4b8b70dc2c6c54d5039c9048308 AUX lablgtk-2.18.12-cflags.patch 2105 BLAKE2B 5e72efba3b484142070aa38ea487eb8fe82018f7f8f2420a08d0acff25450c11184aa121df67447b79b4ac1146999535f34f5f794465a9cfac5f75bf8275db0e SHA512 684a905979372e18f63b68bcc418a8e8401c51931cca45440531ea58eaad583923fd37fb167709c8394f967f4987161d88ea00714f8406048269ac59c51313e8 DIST lablgtk-2.18.10.tar.gz 1068504 BLAKE2B 8f82cd8b31c136420bfbbeaf78ec2d7913b7c5fc16abd485c508f8de3ab587173b0b5c798cdbe851254b48754929c1f0063cfc9e3c5e0663b7cdebc380ec0e8a SHA512 73705aaa80db433d11a28df5f6f5d10bd282e477e90916152a87e71865ccfcd7dfbdbe77350ecadf61ba2ccc7a188de1c68f1e6385e20c75f167969001e8418d DIST lablgtk-2.18.12.tar.gz 1066997 BLAKE2B fcdc74ae444af509b2c95929ac8df556aeea21187a95433a9c67ac3d7a515054d53c4955ea2e908297065fd005099fb5df45d52311cf015f63a72780c11cccb8 SHA512 284a1234ae817c4df49809d28c103ca5e64046da5ec9ff28c6edc0ce999e9d3e6e180dd053f8b1663d4fb3b7ba19570d53b9441c8fa622add924e8d85e41b813 DIST lablgtk-3.1.2.tar.gz 1042626 BLAKE2B 355ff285248129a063c041d3e64db33424ddbb71774128d7be980b8bd0b54cfa54b9d50b1c2f8527b8f6563836189ad72d30e4421b22d5938b888e61ada55056 SHA512 c63a492160f36685f65cb6bc0e72ff4939005acb2c65c56c0d9ba8f2112a618f24db84765e7b4416e49024048a36895028cfc5ef2c3e298dd4a309e902e34af5 DIST lablgtk3-3.1.1.tbz 854720 BLAKE2B e6a916151fe1ca0746c14c2a66cd178f3b0c051976815a1d13daf801002f16bc76d9f4cb15625353f0cfbdc16b0a218857d72c4e57125050bbcffe67f7096ad0 SHA512 193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3 EBUILD lablgtk-2.18.10.ebuild 1978 BLAKE2B aec065ed8ba21ec22d432caec6f0ca68725db83b5e782cfd9b3ddd5431f921b78bcd609a962da757f6d65edeffe6e6bce678c60695b251e0847738e9b8551885 SHA512 5d6cc91fe21dba2209a83310089630d806e5a1ea02ae27af5d799766f1a1a2f8616f586a43f8a4e620394ea9bcfae90a453544c5e0bf13c687a0de0777528ef1 -EBUILD lablgtk-2.18.12.ebuild 1983 BLAKE2B f5e91f7cf3f5e85cb35a3c74b13c6e00db07e9c1ea79e3e5dbacd9e79db36b0f4350d26b44b9d5496675437d03705e20cb0b5b526f01002ed96f3192332f2648 SHA512 a86cca1cd8a65d1e7af8177e345dd2b382164599a1ed1e9f3f66efecd5782d9f90a81bded3cd23caf1d017258b59478c08cedf009f34d103f3e0718d24a02f90 +EBUILD lablgtk-2.18.12.ebuild 2018 BLAKE2B 4a0ee690913b71cff0d29d80cd46df537621e8fbe54e8e94c7ea21d24022b517d19fdf66aafdd940012c98a3ca0758f9567bc005280cef7403cc8bc410cac412 SHA512 00ef3a100afc730e3d912d9d26c95580cf1e29da0a5ec670e315bd78df036270eb71141114074c51e8c65c739bb2376fbda26661669e5553aea4962b49e4a889 EBUILD lablgtk-3.1.1.ebuild 703 BLAKE2B 63b744a767e6f1f238434a5e8457c0c01066992d4ced47b839e623b3a9535a15e3285b466a5477a01a17d10a4a0abb135b2d40e202288f89944029c3881e9719 SHA512 cfb13c7b8a4661174c84f6f5966b56bd6ff3c11e18b28149922329d9f8c9eb5ae4d8cc0811bfdf8f53f04b8f66f54118f457d53852bffa755c89e3ffe0612cb0 EBUILD lablgtk-3.1.2.ebuild 809 BLAKE2B 240985d82a7da9d69c117e6d5c61d3d3e8538bc9de5684d267f5d5983bdac0a335b13e8ff66314ab38dcd94204c93175a9b2f887ac35afa1c8a96f3e8c33e32e SHA512 376d0c3f2026f8b434fd1bf2f2854df478149398680988dcc97ac859702567647ae3769db823f54eeb130de425f2add64cc29255d303460406e8807fea3c762a MISC metadata.xml 803 BLAKE2B 81dcea96c0622e8106473008e25574b819b522ea91f322cae81c9d9c32e1ff02759b1c0fce40d2567662abc1b373c4ea3792a4a4cc11ed346e257af840399e11 SHA512 5e6bd8af52147eb9697759509bbfff9fef9d9afc09ed924814d85903ca750122ce14723f449b4e08cd1d7f0dd2b0e75d3823164b0e7552e4d8334a7dadfc7f0d diff --git a/dev-ml/lablgtk/files/lablgtk-2.18.10-cflags.patch b/dev-ml/lablgtk/files/lablgtk-2.18.10-cflags.patch index 9cbc94a8a036..ca82491113b6 100644 --- a/dev-ml/lablgtk/files/lablgtk-2.18.10-cflags.patch +++ b/dev-ml/lablgtk/files/lablgtk-2.18.10-cflags.patch @@ -8,10 +8,11 @@ TARGETS = varcc$(XE) lablgtktop$(XE) lablgtk2$(XB) gdk_pixbuf_mlsource$(XE) \ $(THINITOBJS) build.ml -@@ -45,14 +46,13 @@ +@@ -44,15 +45,13 @@ + endif ifdef DEBUG - COMPILER += -warn-error A-52 +-COMPILER += -warn-error A-52 -CFLAGS = -g $(GTKCFLAGS) +OCAMLCFLAGS = $(GTKCFLAGS) CUSTOM = -custom diff --git a/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch b/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch new file mode 100644 index 000000000000..a77455afa8ef --- /dev/null +++ b/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch @@ -0,0 +1,11 @@ +--- a/src/Makefile 2022-12-23 21:39:09.743150707 +0100 ++++ b/src/Makefile 2022-12-23 21:39:40.219667855 +0100 +@@ -617,7 +617,7 @@ + gtk_tags.h gdk_tags.h ml_gtktext.h sourceView_tags.h wrappers.h + + $(GTKSOURCEVIEW2COBJS): ml_glib.h ml_gdk.h ml_gtk.h ml_gobject.h ml_gdkpixbuf.h ml_pango.h \ +- gtk_tags.h gdk_tags.h ml_gtktext.h sourceView2_tags.h wrappers.h ++ gtk_tags.h gdk_tags.h ml_gtktext.h pango_tags.h sourceView2_tags.h wrappers.h + + ml_glib$(XO): glib_tags.h ml_glib.h wrappers.h + ml_gobject$(XO): gobject_tags.h ml_gvaluecaml.h wrappers.h diff --git a/dev-ml/lablgtk/lablgtk-2.18.12.ebuild b/dev-ml/lablgtk/lablgtk-2.18.12.ebuild index f96bd8719b9c..fc6dec1fc9f2 100644 --- a/dev-ml/lablgtk/lablgtk-2.18.12.ebuild +++ b/dev-ml/lablgtk/lablgtk-2.18.12.ebuild @@ -28,6 +28,7 @@ DOCS=( CHANGES README CHANGES.API ) PATCHES=( "${FILESDIR}"/${P}-cflags.patch + "${FILESDIR}"/${P}-Makefile.patch ) src_configure() { |