Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture

2015-08-27 Thread Manuel A. Fernandez Montecelo
2015-08-12 13:03 GMT+01:00 Stéphane Glondu glo...@debian.org: tags 749261 + moreinfo thanks Le 25/05/2014 19:16, Manuel A. Fernandez Montecelo a écrit : I don't know if the support is perfect/complete, but at least it already allowed us to compile many ocaml-based packages from Debian

Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture

2015-08-12 Thread Stéphane Glondu
tags 749261 + moreinfo thanks Le 25/05/2014 19:16, Manuel A. Fernandez Montecelo a écrit : I don't know if the support is perfect/complete, but at least it already allowed us to compile many ocaml-based packages from Debian unstable. Really? Your patch only touches the configure script. Adding

Processed: Re: Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture

2015-08-12 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: tags 749261 + moreinfo Bug #749261 [src:ocaml] ocaml: Please add support for OpenRISC/or1k architecture Added tag(s) moreinfo. thanks Stopping processing here. Please contact me if you need assistance. -- 749261: http://bugs.debian.org/cgi-bin

Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture

2014-05-25 Thread Manuel A. Fernandez Montecelo
Source: ocaml Version: 4.01.0-3 Severity: normal Tags: upstream patch Hi, The patch provided allows to get this package compiled in OpenRISC/or1k architecture that Christian and I are creating in Debian. I don't know if the support is perfect/complete, but at least it already allowed us to

Re: Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture

2014-05-25 Thread Stéphane Glondu
Le 25/05/2014 19:16, Manuel A. Fernandez Montecelo a écrit : I don't know if the support is perfect/complete, but at least it already allowed us to compile many ocaml-based packages from Debian unstable. Really? Your patch only touches the configure script. Adding native support for a new