diff options
Diffstat (limited to 'dev-lang/maude')
| -rw-r--r-- | dev-lang/maude/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/maude/files/maude-2.5.0-prll.patch | 24 | ||||
| -rw-r--r-- | dev-lang/maude/files/maude-2.7-bison-parse-param.patch | 39 | ||||
| -rw-r--r-- | dev-lang/maude/files/maude-3.1-prll.patch | 22 | ||||
| -rw-r--r-- | dev-lang/maude/maude-2.7.ebuild | 58 | ||||
| -rw-r--r-- | dev-lang/maude/maude-3.1-r1.ebuild | 66 | ||||
| -rw-r--r-- | dev-lang/maude/metadata.xml | 2 |
7 files changed, 93 insertions, 124 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index bc759b1c6b72..5e04c25d9c5c 100644 --- a/dev-lang/maude/Manifest +++ b/dev-lang/maude/Manifest @@ -1,2 +1,4 @@ -DIST Maude-2.7.tar.gz 1663708 BLAKE2B 5fd87cbd7ef2f86f4a7095334fd996109c72caaed44a894138803b76220325400920654924cb8645ed846b4d997dd2cf827d489ef7c4eef73ee22cb4e6e5a5dc SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 -DIST maude-2.6-extras.tar.xz 3157004 BLAKE2B d735366071194eb7fd22c11628672aba38cc8c7f4460e4ec8806e27c2e1416e1a2a5fa93efd01c305bf36e0ce799578688c5ac87b5459e979323df6f60305902 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd +DIST Full-Maude-3.1.zip 161211 BLAKE2B 2aad284e1f2bc6e701154bd72c6eff1433fd040fd0f97252485c954b5e1fb33f71555c5587ceec2f3f3e44c8d7b760c9f62f40f53577f19c4cc51a2159b01674 SHA512 fb0c0e30d3df830b60ece67c2fc5655c5e3f1377a269ce8acfc45fdfa0d42f3fe3fbf4038758b35598d82e7f47af5f24507b3ebe2a30dcb8722e61e6315248c3 +DIST Maude-3.1-manual-book-examples.zip 267629 BLAKE2B cb4c5d067b8b6787a575ec1e00bfdbfb846c787f4c48b207d9609db57c968acdd97f431110103aa16d764e8e1b59f0eb1f66df53d3b78562cf430f3a57b5541c SHA512 69980145a41afd49e4a2c77a596d7fa91ed8e5acca049d799cdb0f265d95f1c3215776edb3a3ae94d84309c94735c7a187f681c2a2d3aa2fe0a7563634d34efa +DIST Maude-3.1-manual.pdf 2916925 BLAKE2B da7f0d5bef8bff2e1f1afecd4bc7d062992d6a27e5437f488a50d35bce144a3ddb029bed3271d9696a36e6ab13b5a4f815e1a257a81005eb65d2927526630a29 SHA512 8b4b9bff8d266fad7b42b37c79cd72e4b642483298631f35a52b8bd669f318654382232b0da62485dc198789215fd5a364b583320789754eac9159d4cc2689ca +DIST Maude-3.1.tar.gz 2335693 BLAKE2B 3bc9744d95448e4dfc2f818944ab66dad84b026ad18a4324b25eafc82f6c2c637b81fa73d03da61ee7f3753bb3c650e1838b56c502c85c91e2507a697bcfbbc0 SHA512 34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc diff --git a/dev-lang/maude/files/maude-2.5.0-prll.patch b/dev-lang/maude/files/maude-2.5.0-prll.patch deleted file mode 100644 index 5499af3eb764..000000000000 --- a/dev-lang/maude/files/maude-2.5.0-prll.patch +++ /dev/null @@ -1,24 +0,0 @@ -diff --git a/src/Mixfix/Makefile.am b/src/Mixfix/Makefile.am -index d811631..295f0c6 100644 ---- a/src/Mixfix/Makefile.am -+++ b/src/Mixfix/Makefile.am -@@ -72,7 +72,7 @@ libmixfix_a_SOURCES = \ - EXTRA_libmixfix_a_SOURCES = \ - compiler.cc - --BUILT_SOURCES = surface.yy surface.cc surface.h lexer.cc -+BUILT_SOURCES = surface.cc lexer.cc - CLEANFILES = surface.yy surface.cc surface.h lexer.cc - - surface.yy: \ -@@ -87,7 +87,9 @@ surface.yy: \ - $(srcdir)/bottom.yy \ - > surface.yy - --surface.cc surface.h: surface.yy -+surface.h: surface.yy -+ -+surface.cc: surface.h - $(BISON) -dv surface.yy -o surface.c - mv surface.c surface.cc - diff --git a/dev-lang/maude/files/maude-2.7-bison-parse-param.patch b/dev-lang/maude/files/maude-2.7-bison-parse-param.patch deleted file mode 100644 index 2aa77f01c4e8..000000000000 --- a/dev-lang/maude/files/maude-2.7-bison-parse-param.patch +++ /dev/null @@ -1,39 +0,0 @@ -Author: Jakub Wilk <jwilk@debian.org> -Last-Update: Tue, 20 May 2014 13:35:26 +0200 -Bug-Debian: http://bugs.debian.org/733407 -Description: this is quick and dirty patch to use %parse-param instead - of deprecated YYPARSE_PARAM (and eventually removed in Bison 3.0). - %parse-param was added in bison 1.875, over a decade ago, so no - Build-Depends adjustments are needed. :-) - ---- a/src/Mixfix/top.yy -+++ b/src/Mixfix/top.yy -@@ -24,6 +24,8 @@ - // Parser for Maude surface syntax. - // - -+%parse-param {void* YYPARSE_PARAM} -+ - %{ - #include <string> - #include <stack> -@@ -91,7 +93,7 @@ SyntaxContainer* oldSyntaxContainer = 0; - Int64 number; - Int64 number2; - --static void yyerror(char *s); -+static void yyerror(void *, char *s); - - void cleanUpModuleExpression(); - void cleanUpParser(); ---- a/src/Mixfix/bottom.yy -+++ b/src/Mixfix/bottom.yy -@@ -23,7 +23,7 @@ - %% - - static void --yyerror(char *s) -+yyerror(void *, char *s) - { - if (!(UserLevelRewritingContext::interrupted())) - IssueWarning(LineNumber(lineNumber) << ": " << s); diff --git a/dev-lang/maude/files/maude-3.1-prll.patch b/dev-lang/maude/files/maude-3.1-prll.patch new file mode 100644 index 000000000000..22af2889913f --- /dev/null +++ b/dev-lang/maude/files/maude-3.1-prll.patch @@ -0,0 +1,22 @@ +--- a/src/Mixfix/Makefile.am ++++ b/src/Mixfix/Makefile.am +@@ -82,7 +82,7 @@ + EXTRA_libmixfix_a_SOURCES = \ + compiler.cc + +-BUILT_SOURCES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc ++BUILT_SOURCES = surface.cc lexer.cc tokenizer.cc + CLEANFILES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc + + surface.yy: \ +@@ -97,7 +97,9 @@ + $(srcdir)/bottom.yy \ + > surface.yy + +-surface.cc surface.h: surface.yy ++surface.h: surface.yy ++ ++surface.cc: surface.h + $(BISON) -dv surface.yy -o surface.c + mv surface.c surface.cc + diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild deleted file mode 100644 index 01957fb2a5e5..000000000000 --- a/dev-lang/maude/maude-2.7.ebuild +++ /dev/null @@ -1,58 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit autotools - -DESCRIPTION="High-level specification language for equational and logic programming" -HOMEPAGE="http://maude.cs.uiuc.edu/" -SRC_URI=" - http://maude.cs.illinois.edu/w/images/2/2d/${P^}.tar.gz - https://dev.gentoo.org/~jlec/distfiles/${PN}-2.6-extras.tar.xz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux" -IUSE="doc examples" - -RDEPEND=" - dev-libs/gmp:0=[cxx] - dev-libs/libsigsegv - dev-libs/libtecla - sci-libs/buddy" -DEPEND="${RDEPEND} - sys-devel/bison - sys-devel/flex" - -S="${WORKDIR}/${P^}" - -PATCHES=( - "${FILESDIR}/${PN}-2.5.0-prll.patch" - "${FILESDIR}/${PN}-2.6-search-datadir.patch" - "${FILESDIR}/${PN}-2.7-bison-parse-param.patch" - "${FILESDIR}/${PN}-2.7-AR.patch" -) - -src_prepare() { - default - sed -i -e "s:/usr:${EPREFIX}/usr:g" src/Mixfix/global.hh || die - eautoreconf -} - -src_install() { - default - - # install data and full maude - insinto /usr/share/${PN} - doins -r src/Main/*.maude - doins "${WORKDIR}"/${PN}-2.6-extras/full-maude.maude - - # install docs and examples - use doc && dodoc -r "${WORKDIR}"/${PN}-2.6-extras/pdfs/. - if use examples; then - docinto examples - dodoc -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples - docompress -x /usr/share/doc/${PF}/examples - fi -} diff --git a/dev-lang/maude/maude-3.1-r1.ebuild b/dev-lang/maude/maude-3.1-r1.ebuild new file mode 100644 index 000000000000..dbc9dab3347c --- /dev/null +++ b/dev-lang/maude/maude-3.1-r1.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools + +MY_P="${P^}" + +DESCRIPTION="High-level specification language for equational and logic programming" +HOMEPAGE="https://maude.cs.uiuc.edu/" +SRC_URI=" + https://maude.cs.illinois.edu/w/images/d/d3/${MY_P}.tar.gz + https://maude.cs.illinois.edu/w/images/0/0a/Full-${MY_P}.zip + doc? ( https://maude.cs.illinois.edu/w/images/6/62/${MY_P}-manual.pdf ) + examples? ( https://maude.cs.illinois.edu/w/images/4/4f/${MY_P}-manual-book-examples.zip )" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux" +IUSE="doc examples" + +RDEPEND=" + dev-libs/gmp:=[cxx(+)] + dev-libs/libtecla + sci-libs/buddy" +DEPEND="${RDEPEND}" +BDEPEND="app-arch/unzip + app-alternatives/yacc + app-alternatives/lex" + +PATCHES=( + "${FILESDIR}/${PN}-2.6-search-datadir.patch" + "${FILESDIR}/${PN}-2.7-AR.patch" + "${FILESDIR}/${PN}-3.1-prll.patch" +) + +src_prepare() { + default + eautoreconf +} + +src_configure() { + local myconf=( + --datadir="${EPREFIX}/usr/share/${PN}" + --without-yices2 + # Breaks glibc-2.34 support + --without-libsigsegv + ) + econf "${myconf[@]}" +} + +src_install() { + default + + # install full maude + insinto /usr/share/${PN} + newins "${WORKDIR}"/full-maude${PV//./}.maude full-maude.maude + + # install docs and examples + use doc && dodoc "${DISTDIR}"/${MY_P}-manual.pdf + if use examples; then + dodoc -r "${WORKDIR}"/examples + docompress -x /usr/share/doc/${PF}/examples + fi +} diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml index 2a557bd7618e..2f720265f903 100644 --- a/dev-lang/maude/metadata.xml +++ b/dev-lang/maude/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> <email>sci@gentoo.org</email> |