Login | Register For Free | Help
Search for: (Advanced)

Mailing List Archive: Gentoo: Dev

RFC: ocamlopt unmask on arm

 

 

Gentoo dev RSS feed   Index | Next | Previous | View Threaded


heroxbd at gentoo

Apr 18, 2012, 7:14 PM

Post #1 of 3 (156 views)
Permalink
RFC: ocamlopt unmask on arm

Dear All,

I have just emerged ocaml-3.12.0[ocamlopt] on arm and used it to compile
mldonkey[ocamlopt]. It seems to work well.

it was masked on Apr 18, 2010,
,----
| /usr/portage/profiles$ grep -n -B3 ocamlopt ./arch/arm/use.mask
| 31-# Raúl Porcel <armin76 [at] gentoo>
| 32-# Fails to build/work
| 33-openexr
| 34:ocamlopt
`----

Debian has arm port for ocamlopt since 3.12:

http://packages.debian.org/search?searchon=names&keywords=ocaml-native-compilers

I failed to find the changelog of ocaml, though :(

How about unmasking it now?

Yours,
Benda


mattst88 at gentoo

Apr 18, 2012, 7:33 PM

Post #2 of 3 (150 views)
Permalink
Re: RFC: ocamlopt unmask on arm [In reply to]

On Wed, Apr 18, 2012 at 10:14 PM, <heroxbd [at] gentoo> wrote:
> Dear All,
>
> I have just emerged ocaml-3.12.0[ocamlopt] on arm and used it to compile
> mldonkey[ocamlopt]. It seems to work well.
>
> it was masked on Apr 18, 2010,
> ,----
> | /usr/portage/profiles$ grep -n -B3 ocamlopt ./arch/arm/use.mask
> | 31-# Ral Porcel <armin76 [at] gentoo>
> | 32-# Fails to build/work
> | 33-openexr
> | 34:ocamlopt
> `----
>
> Debian has arm port for ocamlopt since 3.12:
>
> http://packages.debian.org/search?searchon=names&keywords=ocaml-native-compilers
>
> I failed to find the changelog of ocaml, though :(
>
> How about unmasking it now?
>
> Yours,
> Benda

Related: https://bugs.gentoo.org/show_bug.cgi?id=340607


vapier at gentoo

Apr 18, 2012, 7:35 PM

Post #3 of 3 (152 views)
Permalink
Re: RFC: ocamlopt unmask on arm [In reply to]

On Wednesday 18 April 2012 22:14:54 heroxbd [at] gentoo wrote:
> How about unmasking it now?

file a bug for the arm team to request keywordings. we'll probably say yes.
-mike
Attachments: signature.asc (0.82 KB)

Gentoo dev RSS feed   Index | Next | Previous | View Threaded
 
 


Interested in having your list archived? Contact Gossamer Threads
 
  Web Applications & Managed Hosting Powered by Gossamer Threads Inc.