Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 74752 - new package Münster Curry compiler.
Summary: new package Münster Curry compiler.
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement with 1 vote (vote)
Assignee: Gentoo's Haskell Language team
URL: http://danae.uni-muenster.de/~lux/curry
Whiteboard: sunrise-suggested
Keywords: EBUILD
: 201888 (view as bug list)
Depends on:
Blocks:
 
Reported: 2004-12-17 07:42 UTC by Adam Peacock
Modified: 2016-10-05 21:12 UTC (History)
7 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler. (curry-0.9.8.ebuild,1.00 KB, text/plain)
2004-12-17 07:48 UTC, Adam Peacock
Details
This is a tar file consisting of patches to make MCC 64 bit compliant. (patches.tar,20.00 KB, application/x-tar)
2004-12-17 07:58 UTC, Adam Peacock
Details
This patch is also for 64 bit users. (patch-0.5.patch,945 bytes, text/plain)
2004-12-19 05:50 UTC, Adam Peacock
Details
Update ebuild for release 0.9.9 (curry-0.9.9.ebuild,937 bytes, text/plain)
2005-05-20 05:57 UTC, Adam Peacock
Details
ebuild for curry-0.9.9 with ghc-6.4 (curry-0.9.9.ebuild,1.06 KB, application/octet-stream)
2005-07-08 23:35 UTC, Adam Peacock
Details
curry-0.9.9-ghc-6.4.patch (curry-0.9.9-ghc-6.4.patch,1.18 KB, text/plain)
2007-06-02 11:14 UTC, Santiago M. Mola (RETIRED)
Details
curry-0.9.9.ebuild (curry-0.9.9.ebuild,865 bytes, text/plain)
2007-06-02 11:17 UTC, Santiago M. Mola (RETIRED)
Details
curry-0.9.11.ebuild (curry-0.9.11.ebuild,1.31 KB, text/plain)
2007-12-10 20:02 UTC, Nikolay Orlyuk
Details
curry-0.9.11-strip.patch (curry-0.9.11-strip.patch,902 bytes, patch)
2007-12-10 20:03 UTC, Nikolay Orlyuk
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Adam Peacock 2004-12-17 07:42:09 UTC
The M
Comment 1 Adam Peacock 2004-12-17 07:42:09 UTC
The Münster Curry compiler, a native code compiler for the declarative multi-paradigm language Curry.

MCC (Münster Curry compiler) would probably go into dev-lang. It depends on ghc.

For more information on MCC, please see:

http://danae.uni-muenster.de/~lux/curry/

Adam.

Reproducible: Always
Steps to Reproduce:
1.
2.
3.
Comment 2 Adam Peacock 2004-12-17 07:48:25 UTC
Created attachment 46217 [details]
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler.
Comment 3 Adam Peacock 2004-12-17 07:48:25 UTC
Created attachment 46217 [details]
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler.

Please note, version 0.9.8 isn't 64 bit compliant. This has been tested and
patches exist. I will submit the patches next.
Comment 4 Adam Peacock 2004-12-17 07:58:42 UTC
Created attachment 46219 [details]
This is a tar file consisting of patches to make MCC 64 bit compliant.

These patches need to be applied before compiling on a 64 bit machine.
Comment 5 Adam Peacock 2004-12-19 05:50:20 UTC
Created attachment 46339 [details]
This patch is also for 64 bit users.

It corrects the miss-uses of an unsigned overflow hidden in a macro.
Comment 6 Chris White (RETIRED) gentoo-dev 2004-12-21 11:34:31 UTC
If it depends on ghc I'd rather do it a little later.  The main reason why is because I'm working with the haskell team on getting ghc to a mainstream version to make it easier for the arches.  That said, I'd like to get that all working before I go on and add this.  But yes, it will get added, just not at this moment.
Comment 7 Adam Peacock 2005-01-08 05:43:39 UTC
Comment on attachment 46217 [details]
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler.

># Copyright 1999-2004 Gentoo Foundation
># Distributed under the terms of the GNU General Public License v2
># $Header:
># Ebuild contributed by: Adam Peacock, apeacock@swiftdsl.com.au
>
>
>inherit flag-o-matic
>
>DESCRIPTION="Muenster Curry compiler"
>
>HOMEPAGE="http://danae.uni-muenster.de/~lux/curry/"
>
>SRC_URI="http://danae.uni-muenster.de/~lux/curry/download/curry-0.9.8/curry-0.9.8.tar.gz"
>
>LICENSE="as-is"
>SLOT="0"
>KEYWORDS="~x86 ~amd64"
>IUSE=""
>RESTRICT="nomirror"
>
>DEPEND="virtual/ghc
>	>=sys-devel/gcc-3.3.4-r1"
>
>RDEPEND="dev-libs/gmp
>	sys-devel/gcc"
>
>src_unpack() {
>	unpack ${A}
>	cd ${S}
>}
>src_compile() {
>	filter-flags "-O3 -finline-function"
>	econf --enable-trampoline || die "could not configure"
>	emake || die "emake failed"
>}
>src_install() {
>	make  DESTDIR=${D} install || die
>}
Comment 8 Adam Peacock 2005-01-08 05:44:22 UTC
Comment on attachment 46217 [details]
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler.

># Copyright 1999-2004 Gentoo Foundation
># Distributed under the terms of the GNU General Public License v2
># $Header:
># Ebuild contributed by: Adam Peacock, apeacock@swiftdsl.com.au
>
>
>inherit flag-o-matic
>
>DESCRIPTION="Muenster Curry compiler"
>
>HOMEPAGE="http://danae.uni-muenster.de/~lux/curry/"
>
>SRC_URI="http://danae.uni-muenster.de/~lux/curry/download/curry-0.9.8/curry-0.9.8.tar.gz"
>
>LICENSE="as-is"
>SLOT="0"
>KEYWORDS="~x86 ~amd64"
>IUSE=""
>RESTRICT="nomirror"
>
>DEPEND="virtual/ghc
>	>=sys-devel/gcc-3.3.4-r1"
>
>RDEPEND="dev-libs/gmp
>	sys-devel/gcc"
>
>src_unpack() {
>	unpack ${A}
>	cd ${S}
>}
>src_compile() {
>	filter-flags "-O3 -finline-function"
>	econf --enable-trampoline || die "could not configure"
>	emake || die "emake failed"
>}
>src_install() {
>	make  DESTDIR=${D} install || die
>}
Comment 9 Adam Peacock 2005-01-08 05:48:48 UTC
Comment on attachment 46217 [details]
This is the ebuild (curry-0.9.8.ebuild) for Münster Curry compiler.

Sorry, just submitted twice.
Comment 10 Adam Peacock 2005-05-20 05:48:04 UTC
Comment on attachment 46339 [details]
This patch is also for 64 bit users.
Comment 11 Adam Peacock 2005-05-20 05:57:23 UTC
Created attachment 59379 [details]
Update ebuild for release 0.9.9
Comment 12 Adam Peacock 2005-05-20 05:58:24 UTC
Comment on attachment 59379 [details]
Update ebuild for release 0.9.9

This verison is how 64 bit clean and other architectures have been added.
Comment 13 Adam Peacock 2005-07-08 23:35:12 UTC
Created attachment 62982 [details]
ebuild for curry-0.9.9 with ghc-6.4

MCC will not compile with ghc-6.4 without a needed patch. Therefore I have
edited the ebuild to include this patch for ghc-6.4. Information about the
patch can be found on MCC's homepage.

Secondly, the configuration option --enable-trampoline also needs to be
included.
Comment 14 Santiago M. Mola (RETIRED) gentoo-dev 2007-06-02 11:14:30 UTC
Created attachment 120931 [details]
curry-0.9.9-ghc-6.4.patch

Patch to make curry compile with ghc-6.4. (As used in Adam's ebuild)
Comment 15 Santiago M. Mola (RETIRED) gentoo-dev 2007-06-02 11:17:01 UTC
Created attachment 120934 [details]
curry-0.9.9.ebuild

Changes:
* Install doc
* Store patch in files/ and use correctly src_unpack
* Don't filter -fomit-frame-pointer, since there's no problem on having a flag twice.
* Block ghc-6.6 (curry uses lang package, which was removed in ghc-6.6)
Comment 16 George Shapovalov (RETIRED) gentoo-dev 2007-06-02 12:53:04 UTC
Looks interesting and related to haskell. Do haskell people want to take care of this? After all this was promised to be added ;), although already 2.5 years ago (haskell was not properly added itself IIRC at that time). Otherwise I might try to look at it, .. when I finish another Ada update that is :).

George
Comment 17 Lennart Kolmodin (RETIRED) gentoo-dev 2007-06-13 09:20:02 UTC
It only compiles with GHC-6.4?
We where hoping to deprecate that version, we only have about one other package that requires it.

Also, one should not block like that, as it gives trouble when you unmask GHC 6.6.
GHC-6.6 would first satisfy the first dep, then fail on the block. Portage is not smart enough to use GHC 6.4 instead.
The proper dep is =virtual/ghc-6.4*

Cheers!
--Lennart
Comment 18 Duncan Coutts (RETIRED) gentoo-dev 2007-07-11 13:50:04 UTC
There's a new 0.9.11 version out. Perhaps that'll work with ghc-6.6.x.
Comment 19 Jakub Moc (RETIRED) gentoo-dev 2007-12-10 19:53:33 UTC
*** Bug 201888 has been marked as a duplicate of this bug. ***
Comment 20 Nikolay Orlyuk 2007-12-10 20:02:09 UTC
Created attachment 138199 [details]
curry-0.9.11.ebuild

0.9.11 version
Comment 21 Nikolay Orlyuk 2007-12-10 20:03:46 UTC
Created attachment 138203 [details, diff]
curry-0.9.11-strip.patch

0.9.11 patch for turning of executables stripping.
taken from Fedora Core 6 SRPM
Comment 22 Nikolay Orlyuk 2007-12-10 20:42:18 UTC
(In reply to comment #18)
> There's a new 0.9.11 version out. Perhaps that'll work with ghc-6.6.x.

I've tried it with ghc-6.6.1 at amd64 and it works.
Comment 23 Christophe LEFEBVRE 2008-09-06 19:15:21 UTC
(In reply to comment #22)
> (In reply to comment #18)
> > There's a new 0.9.11 version out. Perhaps that'll work with ghc-6.6.x.
> I've tried it with ghc-6.6.1 at amd64 and it works.

I've tried it with ghc-6.8.2 in x86 (Intel(R) Pentium(R) 4 Mobile CPU 1.90GHz) ant it works (curry-0.9.11.ebuild and curry-0.9.11-strip.patch)
Comment 24 Jeremy Olexa (darkside) (RETIRED) archtester gentoo-dev Security 2009-01-15 17:59:20 UTC
(this is an automated message based on filtering criteria that matched this bug)
'EBUILD' is in the KEYWORDS which should mean that there is a ebuild attached 
to this bug.
This bug is assigned to maintainer-wanted which means that it is not in the 
main tree.

Hello, The Gentoo Team would like to firstly thank you for your ebuild 
submission. We also apologize for not being able to accommodate you in a timely
manner. There are simply too many new packages.

Allow me to use this opportunity to introduce you to Gentoo Sunrise. The 
sunrise overlay[1] is a overlay for Gentoo which we allow trusted users to 
commit to and all users can have ebuilds reviewed by Gentoo devs for entry 
into the overlay. So, the sunrise team is suggesting that you look into this 
and submit your ebuild to the overlay where even *you* can commit to. =)

Because this is a mass message, we are also asking you to be patient with us. 
We anticipate a large number of requests in a short time. 

Thanks,
On behalf of the Gentoo Sunrise Team,
Jeremy.

[1]: http://www.gentoo.org/proj/en/sunrise/
[2]: http://overlays.gentoo.org/proj/sunrise/wiki/SunriseFaq
Comment 25 Arseny Solokha 2009-10-01 09:26:42 UTC
Project's homepage is now dead. Another curry implementations are listed here: http://www.informatik.uni-kiel.de/~curry,/implementations.html. Only one of them (http://www.informatik.uni-kiel.de/~pakcs/) seems to be alive.
Comment 26 Louis Frayser 2009-10-06 23:33:55 UTC
(In reply to comment #25)
The Münster Curry home page is back up.

Other notable implementations of the Curry language(worth ebuilds):
* The Kiel Curry System(KiCS, written in Haskell): http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/
* Zinc (a fork of Münster Curry that extends it to add Type Classes and other experiments): http://zinc-project.sourceforge.net/

I've used the Münster Curry Compiler(mcc), Zinc (based on mcc), and PAKCS(worked with either a SICStus and SWI Prolog backend) successfully.  KiCS compiles, and runs its tests successfully on Gentoo.
Comment 27 Louis Frayser 2009-10-07 00:41:14 UTC
(In reply to comment #21)

The curry-ebuild-0.9.11 builds successfully on i686 with ghc-6.10.2 and gcc 4.3.2.
No no special USE flag settings were required.

Linux gentoo 2.6.30-gentoo-r6.0lf #4 SMP PREEMPT Fri Sep 11 18:30:25 PDT 2009 
i686 Intel(R) Pentium(R) 4 CPU 2.40GHz GenuineIntel 
GNU/Linux

The Glorious Glasgow Haskell Compilation System, version 6.10.2

Portage 2.1.6.13 (default/linux/x86/2008.0, gcc-4.3.2, 
  glibc-2.9_p20081201-r2, 2.6.30-gentoo-r6.0lf i686)

[I] dev-lang/curry [1]
     Available versions:  (~)0.9.11 {cam2c copynondet mach noghcmake nomprotect noptrtags suspnondet trampoline}
     Installed versions:  0.9.11(05:19:28 PM 10/06/2009)(-cam2c -copynondet -mach -noghcmake -nomprotect -noptrtags -suspnondet -trampoline)
     Homepage:            http://danae.uni-muenster.de/~lux/curry
     Description:         Münster Curry compiler
Comment 28 Jan Matějka (RETIRED) gentoo-dev 2014-01-04 02:48:48 UTC
0.9.11 available in haskell overlay
Comment 29 Sergei Trofimovich (RETIRED) gentoo-dev 2016-10-05 21:12:54 UTC
HOMEPAGE does not respond anymore. Package didn't get an update
in 10 years. Package needs patching against AMP changes.

I've removed package from overlay as: https://github.com/gentoo-haskell/gentoo-haskell/commit/13bf26cc4e01969e693dafb501b5d45006139142