From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 9 Oct 2017 18:53:29 +0100 Subject: reinit the tree, so we can have metadata --- dev-lang/maude/Manifest | 9 ++++ dev-lang/maude/files/maude-2.5.0-prll.patch | 24 +++++++++ .../maude/files/maude-2.6-search-datadir.patch | 37 ++++++++++++++ .../maude/files/maude-2.7-bison-parse-param.patch | 39 +++++++++++++++ dev-lang/maude/maude-2.7.ebuild | 57 ++++++++++++++++++++++ dev-lang/maude/metadata.xml | 16 ++++++ 6 files changed, 182 insertions(+) create mode 100644 dev-lang/maude/Manifest create mode 100644 dev-lang/maude/files/maude-2.5.0-prll.patch create mode 100644 dev-lang/maude/files/maude-2.6-search-datadir.patch create mode 100644 dev-lang/maude/files/maude-2.7-bison-parse-param.patch create mode 100644 dev-lang/maude/maude-2.7.ebuild create mode 100644 dev-lang/maude/metadata.xml (limited to 'dev-lang/maude') diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest new file mode 100644 index 000000000000..f226ed94b426 --- /dev/null +++ b/dev-lang/maude/Manifest @@ -0,0 +1,9 @@ +AUX maude-2.5.0-prll.patch 627 SHA256 216ac931b326e50f6811df16b5e6c79933c6cc810d90bd355664311219662e90 SHA512 640dc2d784b3010af41ea7c186f27ef71d96efa26ab68b9371a990c442ca4d33d7925cf9c2a096487c1d7bc38e920333a71d969aa683ee2231d3ce954a9ff1e4 WHIRLPOOL b7f6893336b7e20f52616824539cf791c57307185f6942c16f0b5598208d08911bf8b08a7f77662a35a7fd2441a7cbbe2e9bf7fc0aa565723d9a2e5a9823d38e +AUX maude-2.6-search-datadir.patch 1124 SHA256 1c73351f0bae74ec63eb420df34af050a8594c755ac5ed63b8980624db3c7d35 SHA512 3bdaa49e6312d965c753450c5fec39c1175e6a5a57c570bce56f10d6bf3a56027fc8eb17c3d899aa752d4094eae4bbc7d1eec0022adc656894beef759c151cc5 WHIRLPOOL 6aff037a2a8eb481a146b0cb941c7c82cb9c91ab219c1b30921b4855ce4554d7b40b62d50670dbeb6d62c223f79d16f99ecbe560f8ef4bdd5beb92058318912d +AUX maude-2.7-bison-parse-param.patch 1027 SHA256 f9cb3cbbdbf560cc2b73a6357f17c180fa4291f211cb8da3e98e0d459747a09d SHA512 553c1e96fd72687025b71d04c476d853e0e2c8bab48f91f98ce1cb515562d27b7bbcb4e20ffb56c2dc3c7ee9cdbfe7c2da1d6d609b4bba34823c0637375f012c WHIRLPOOL 87849f2a8ad1cac2dc997a380079a915673334b0336576be113879bfbf8bb030e72c9786d2b38a06912a980f1b9773754bf9148532f318070ab8d88b200ee0db +DIST Maude-2.7.tar.gz 1663708 SHA256 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 WHIRLPOOL 252b51f303e7d5d22226bbfa96e8a62bd94bccc92403f40fce990ce6d0e3e57305b9f823ef3cf5f43f4386a4ce326032c7c17e47a0a4ad8bf86538e2e1435fa3 +DIST maude-2.6-extras.tar.xz 3157004 SHA256 64cd72026c345ff1c1edeca64f9a9fce8067e6df5eccdaeee4bfe7a0f07d3102 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd WHIRLPOOL 7a5ea0bf49132ecb3b88f26432c8aedb7ce2f9632f4e9cbb5fa08ab36b65c9a165d58e4a880e8ea97eff91280e28fb01e224a61539b73b898f3e9b4cba34ce44 +EBUILD maude-2.7.ebuild 1317 SHA256 2082830f47063257d5e994e27ad670c01c4884a12d95fe51eaca3fee15b29f83 SHA512 6c3d4efa0212d2a933d25f07d200cbe26ce9245d20b0af5707562b517ae9da3c4cbd4692d05ca1a65ff40d95dab35faf81892a0b8b5a056e1ab00f5bb383d838 WHIRLPOOL cff3d0628a11b1fb41023b3e71ab26745dabba4b0caf392488ce1c66d613add5b881e4442433694314b92c4cc33a68a3720d617c4268a3e9942366c1156d0d84 +MISC ChangeLog 3143 SHA256 7275d679ddb67090119e584bdd360fd2b57dd0864ec35ac8e1ce60e1376a49ba SHA512 3c3a3b6818def65be8e146407c955966055b96d74022e1b1f08c3fa213cb76729f6b729ed6970df069025d29265778f1f39cb71e662c1872159c0e76c9719347 WHIRLPOOL f2ea726a260551dbc18df3b7dd255e67db7d5d288a3ae1acf79d11ecce556468e104dd5e029add018df16750646e6984d76c898e48e0c71e24aa789711fe9f88 +MISC ChangeLog-2015 3206 SHA256 c99fb6f34d4d742f8f26b7d9154a3a233294d51d8c08af12c2278896b634d6ec SHA512 5af419ac889aef43b1c764ffbbc3d26d177cded2db0bf5de321fabcb935fcac195368380fb01c31b3a55dd7d97d77943b9097b0fa07822072d8e8838d24877b8 WHIRLPOOL ab63ecd18463f81cc88dae7713a1fd530c5171abc2c246c1fea1a599e70501e2c9c889ce395d90b2485e75cc6bd0893dfda110c41c240727153b8576ef02cb33 +MISC metadata.xml 702 SHA256 d2d1d8e28d9d14b09ab494926362be4008993cf030be00540daa8e6afebae161 SHA512 51984557a4f5a933e4fa14a49466574846310c0e4439ecc5b2b8ac4b61c8809dd3d01327807662c587eb7af9332f4fd3994d60364de1c70e07d63d01d97daa3c WHIRLPOOL 2f938a5d5d1f8ccba915293e5bb4a46d7efc1e1a359ed984239d4b7414393ff78cd159dceab93d825169888441c654b2e40268cd908b4f0388713a887f2e1c5c diff --git a/dev-lang/maude/files/maude-2.5.0-prll.patch b/dev-lang/maude/files/maude-2.5.0-prll.patch new file mode 100644 index 000000000000..5499af3eb764 --- /dev/null +++ b/dev-lang/maude/files/maude-2.5.0-prll.patch @@ -0,0 +1,24 @@ +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.6-search-datadir.patch b/dev-lang/maude/files/maude-2.6-search-datadir.patch new file mode 100644 index 000000000000..f5522eda2a05 --- /dev/null +++ b/dev-lang/maude/files/maude-2.6-search-datadir.patch @@ -0,0 +1,37 @@ +Have maude search in datadir for its files. +--- a/src/Main/main.cc ++++ b/src/Main/main.cc +@@ -263,6 +263,11 @@ + { + if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK)) + return true; ++ if (directoryManager.checkAccess(DATADIR, fileName, R_OK)) ++ { ++ directory = DATADIR; ++ return true; ++ } + if (!(executableDirectory.empty()) && + directoryManager.checkAccess(executableDirectory, fileName, R_OK)) + { +--- a/src/Mixfix/global.cc ++++ b/src/Mixfix/global.cc +@@ -83,6 +83,9 @@ + return true; + if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK, ext)) + return true; ++ directory = DATADIR; ++ if (directoryManager.checkAccess(directory, fileName, R_OK, ext)) ++ return true; + if (!(executableDirectory.empty()) && + directoryManager.checkAccess(executableDirectory, fileName, R_OK, ext)) + { +--- a/src/Mixfix/global.hh ++++ b/src/Mixfix/global.hh +@@ -36,6 +36,7 @@ + + #define PRELUDE_NAME "prelude.maude" + #define MAUDE_LIB "MAUDE_LIB" ++#define DATADIR "/usr/share/maude" + + bool + findPrelude(string& directory, string& fileName); 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 new file mode 100644 index 000000000000..2aa77f01c4e8 --- /dev/null +++ b/dev-lang/maude/files/maude-2.7-bison-parse-param.patch @@ -0,0 +1,39 @@ +Author: Jakub Wilk +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 + #include +@@ -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/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild new file mode 100644 index 000000000000..c871a47748f1 --- /dev/null +++ b/dev-lang/maude/maude-2.7.ebuild @@ -0,0 +1,57 @@ +# Copyright 1999-2016 Gentoo Foundation +# 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" +) + +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/metadata.xml b/dev-lang/maude/metadata.xml new file mode 100644 index 000000000000..87cb557f086f --- /dev/null +++ b/dev-lang/maude/metadata.xml @@ -0,0 +1,16 @@ + + + + + sci@gentoo.org + Gentoo Science Project + + + Maude is a high-performance reflective language and system supporting + both equational and rewriting logic specification and programming for a + wide range of applications. Maude has been influenced in important ways + by the OBJ3 language, which can be regarded as an equational logic + sublanguage. Besides supporting equational specification and + programming, Maude also supports rewriting logic computation. + + -- cgit v1.2.3