Hi, portage has Maude version 2.1.1, but the latest release available now is version 2.2. Could someone please provide an EBUILD for the new version? It would be very much appreciated. Peter
I could look at it myself, but if someone more experienced would do it, please step in.
Does anyone feel capable of accomplishing this task? I tried to patch the existing 2.1.1 EBUILD for 2.2, but didn't succeed. The downloading of the files is a bit of a pain, in part because the naming scheme at http://maude.cs.uiuc.edu/download/ seems to have changed. It would be really nice to have 2.2 in portage. There are some significant improvements over 2.2, especially for users of core maude.
Good news: Maude 2.2 used to crash gcc while building. The reason for this problem are the SSP patches; when the flags -fno-stack-protector-all -fno-stack-protector are appended to CFLAGS and CXXFLAGS, Maude 2.2 compiles just fine. I'll see whether I find the time to produce an ebuild. It would be really nice if Gentoo had the latest version of this fine tool.
Good news: we are at Maude 2.3 by now. The thing is this: in theory, I could provide an ebuild. I would like to, actually, because I love Maude and would like to have it in portage. My experience is, however, that every time I provided an ebuild for a tool that the category maintainers apparently don't care about, it was ignored. So I had essentially wasted my time. It's a pity, but that's my experience.
Hi Peter, > The thing is this: in theory, I could provide an ebuild. I would like to, > actually, because I love Maude and would like to have it in portage. My > experience is, however, that every time I provided an ebuild for a tool that > the category maintainers apparently don't care about, it was ignored. So I had > essentially wasted my time. It's a pity, but that's my experience. Your time won't be wasted, our sci team we are just understaffed, and believe me we maintain a whole lot of packages we do not use at all. If no one takes a look, I will later on. maude needs a serious bump and cleanup.
I'll bump it later. Maude-2.3 need some gcc-4.3 fixing as far as I can tell. cheers, Markus
Ok, I've just committed maude-2.3. It seems to work from what I can tell, but please let us know if there are any issues since I don't know maude very well. Two issues remain and I will have a look at them once I find some time: 1) Some of the supplied tests fail (need to inform upstream) 2) maude-2.3 currently breaks with gcc-4.3 in more subtle ways than just missing header files. I'll have to have a closer look but this probably needs to be taken care of by upstream. Best, Markus
