Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-30 Thread Anil Madhavapeddy
On 25 Aug 2015, at 18:15, Jérémie Courrèges-Anglas  wrote:
> 
> 
> ok jca@
> 

Thanks! All committed now.

> 
> - regarding bison, "it's complicated"

I'm just trying to figure out if it's worth the hassle of removing the
minor bison feature used in the aspcud porting chain, or wait for a
bison update to land in ports (which presumably depends on a corresponding
m4 update in base).  I'm not volunteering to help with the latter, much
as I'd like to :-)

> 
> - this is a pretty big diff, I didn't review everything, only the bits
>  I care about.  (I don't use opam, for example.)  For next updates, can
>  we expect OCaml to be updated alone, along with updates required
>  because of incompatibilities with the new ocaml port?

Well, OCaml will always need a large number of REVISION bumps due to
the lack of binary compatibility.  However, this was a particularly
large one since I swept the tree for version updates as well.  I'll
try to commit those in a more timely way for the future...

> 
>  That being said, the parts I reviewed looked pretty good, and the
>  extensive testing on other archs make me confident that this can go
>  in.  This includes an ok to import devel/ocaml-ppx-tools (which could
>  use NO_TEST=Yes, btw).

NO_TEST also added before import.  Thanks again for looking over the patch!

-a



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-25 Thread Jérémie Courrèges-Anglas

ok jca@

Slightly longer version:

Hi Anil,

- regarding bison, "it's complicated"

- this is a pretty big diff, I didn't review everything, only the bits
  I care about.  (I don't use opam, for example.)  For next updates, can
  we expect OCaml to be updated alone, along with updates required
  because of incompatibilities with the new ocaml port?

  That being said, the parts I reviewed looked pretty good, and the
  extensive testing on other archs make me confident that this can go
  in.  This includes an ok to import devel/ocaml-ppx-tools (which could
  use NO_TEST=Yes, btw).

Thanks for the hard work!

-- 
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF  DDCC 0DFA 74AE 1524 E7EE



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-17 Thread Kenneth Westerback
On 17 August 2015 at 15:37, Kenneth Westerback  wrote:
> On 17 August 2015 at 15:30, Anil Madhavapeddy  wrote:
>> On 16 Aug 2015, at 09:18, Jonathan Gray  wrote:
>>>
>>> On Sun,
>>>
>>> I built coccinelle on armv7 with the -2 version of the patch without
>>> problem.  It appears this is not native as
>>> infrastructure/mk/arch-defines.mk has:
>>> OCAML_NATIVE_ARCHS = i386 sparc amd64
>>> OCAML_NATIVE_DYNLINK_ARCHS = i386 amd64
>>> ?
>>>
>>> I'm not really in a position to do a bulk build but if there is some
>>> sort of ocaml regression test or the like you'd like run let me know.
>>
>> Thanks!  After your and krw's tests, the final -4 patchset here should
>> build all the ports on everything:
>>
>> http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-4.patch.txt
>>
>> OCaml does support ARM native code, but our port currently doesn't
>> use it until the configure glue is in.  I'll have a followup patch
>> to enable this, but got sidetracked with compiling up a custom u-Boot
>> for my Cubieboard2 since the current snapshots don't seem to boot
>> successfully on it.  For now, the portable bytecode is sufficient
>> (but there aren't any interesting ARM-specific regress tests until
>> native code support lands).
>>
>> Would a ports person be able to give me an ok to commit the patchset?
>>
>> -a
>
> Firing up -4 on my i386 test box while you wait for the ports@ ok. :-)
>
> What was the issue with ocaml-camlimage?
>
>  Ken

i386 bulk build finished with no problems. Well, no problems related
to ocaml. Just my usual tmpfs losing a file or two issues. :-)

 Ken



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-17 Thread Anil Madhavapeddy
On 17 Aug 2015, at 12:37, Kenneth Westerback  wrote:
> 
> Firing up -4 on my i386 test box while you wait for the ports@ ok. :-)
> 
> What was the issue with ocaml-camlimage?

It was missing an explicit dependency on lablgtk, and so it got skipped
from the configure script when rebuilt on a clean package-free bulk build.
I also synced WANTLIB and added a LIB_DEPENDS on libexif while there as
well.  It now builds cleanly on sparc64/amd64 in my tests.

-a



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-17 Thread Kenneth Westerback
On 17 August 2015 at 15:30, Anil Madhavapeddy  wrote:
> On 16 Aug 2015, at 09:18, Jonathan Gray  wrote:
>>
>> On Sun,
>>
>> I built coccinelle on armv7 with the -2 version of the patch without
>> problem.  It appears this is not native as
>> infrastructure/mk/arch-defines.mk has:
>> OCAML_NATIVE_ARCHS = i386 sparc amd64
>> OCAML_NATIVE_DYNLINK_ARCHS = i386 amd64
>> ?
>>
>> I'm not really in a position to do a bulk build but if there is some
>> sort of ocaml regression test or the like you'd like run let me know.
>
> Thanks!  After your and krw's tests, the final -4 patchset here should
> build all the ports on everything:
>
> http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-4.patch.txt
>
> OCaml does support ARM native code, but our port currently doesn't
> use it until the configure glue is in.  I'll have a followup patch
> to enable this, but got sidetracked with compiling up a custom u-Boot
> for my Cubieboard2 since the current snapshots don't seem to boot
> successfully on it.  For now, the portable bytecode is sufficient
> (but there aren't any interesting ARM-specific regress tests until
> native code support lands).
>
> Would a ports person be able to give me an ok to commit the patchset?
>
> -a

Firing up -4 on my i386 test box while you wait for the ports@ ok. :-)

What was the issue with ocaml-camlimage?

 Ken



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-17 Thread Anil Madhavapeddy
On 16 Aug 2015, at 09:18, Jonathan Gray  wrote:
> 
> On Sun, 
> 
> I built coccinelle on armv7 with the -2 version of the patch without
> problem.  It appears this is not native as
> infrastructure/mk/arch-defines.mk has:
> OCAML_NATIVE_ARCHS = i386 sparc amd64
> OCAML_NATIVE_DYNLINK_ARCHS = i386 amd64
> ?
> 
> I'm not really in a position to do a bulk build but if there is some
> sort of ocaml regression test or the like you'd like run let me know.

Thanks!  After your and krw's tests, the final -4 patchset here should
build all the ports on everything:

http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-4.patch.txt

OCaml does support ARM native code, but our port currently doesn't
use it until the configure glue is in.  I'll have a followup patch
to enable this, but got sidetracked with compiling up a custom u-Boot
for my Cubieboard2 since the current snapshots don't seem to boot
successfully on it.  For now, the portable bytecode is sufficient
(but there aren't any interesting ARM-specific regress tests until
native code support lands).

Would a ports person be able to give me an ok to commit the patchset?

-a





Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-16 Thread Kenneth Westerback
On 16 August 2015 at 10:02, Anil Madhavapeddy  wrote:
> On 14 Aug 2015, at 15:40, Anil Madhavapeddy  wrote:
>>
>> On 3 Aug 2015, at 18:58, Anil Madhavapeddy  wrote:
>>>
>>> This rather large ports diff does an update of the OCaml ports to 4.02.3:
>>> http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3.patch.txt
>>>
>>> It bumps the REVISION of most of the untouched OCaml ports since binary 
>>> compat is not preserved across OCaml revisions.
>>>
>>> Any tests on non-x86 would be appreciated, especially ARM with native code.
>>
>> Here's a followup OCaml 4.02.3 patch that is now suitable for wider testing.
>> I've run it on amd64 and sparc64 and am doing a complete bulk rebuild that 
>> isn't
>> complete yet.
>>
>> Full patch: 
>> http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-2.patch.txt
>>
>
> And here's a third patchset with some fixes thanks to a bulk build by krw
> http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-3.patch.txt
>
> There's only one known failure now in ocaml-camlimages, and the rest all
> builds on sparc64 as well.
>
> -a
>

Using this -3 version, the i386 build works except for
ocaml-camlimages, as expected.

 Ken



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-16 Thread Jonathan Gray
On Sun, Aug 16, 2015 at 03:02:37PM +0100, Anil Madhavapeddy wrote:
> On 14 Aug 2015, at 15:40, Anil Madhavapeddy  wrote:
> > 
> > On 3 Aug 2015, at 18:58, Anil Madhavapeddy  wrote:
> >> 
> >> This rather large ports diff does an update of the OCaml ports to 4.02.3:
> >> http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3.patch.txt
> >> 
> >> It bumps the REVISION of most of the untouched OCaml ports since binary 
> >> compat is not preserved across OCaml revisions.
> >> 
> >> Any tests on non-x86 would be appreciated, especially ARM with native code.
> > 
> > Here's a followup OCaml 4.02.3 patch that is now suitable for wider testing.
> > I've run it on amd64 and sparc64 and am doing a complete bulk rebuild that 
> > isn't
> > complete yet.
> > 
> > Full patch: 
> > http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-2.patch.txt
> > 
> 
> And here's a third patchset with some fixes thanks to a bulk build by krw
> http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-3.patch.txt
> 
> There's only one known failure now in ocaml-camlimages, and the rest all
> builds on sparc64 as well.
> 
> -a

I built coccinelle on armv7 with the -2 version of the patch without
problem.  It appears this is not native as
infrastructure/mk/arch-defines.mk has:
OCAML_NATIVE_ARCHS = i386 sparc amd64
OCAML_NATIVE_DYNLINK_ARCHS = i386 amd64
?

I'm not really in a position to do a bulk build but if there is some
sort of ocaml regression test or the like you'd like run let me know.



Re: [opam-devel] openbsd ocaml 4.02.3 + opam 1.2.2 upgrade

2015-08-16 Thread Anil Madhavapeddy
On 14 Aug 2015, at 15:40, Anil Madhavapeddy  wrote:
> 
> On 3 Aug 2015, at 18:58, Anil Madhavapeddy  wrote:
>> 
>> This rather large ports diff does an update of the OCaml ports to 4.02.3:
>> http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3.patch.txt
>> 
>> It bumps the REVISION of most of the untouched OCaml ports since binary 
>> compat is not preserved across OCaml revisions.
>> 
>> Any tests on non-x86 would be appreciated, especially ARM with native code.
> 
> Here's a followup OCaml 4.02.3 patch that is now suitable for wider testing.
> I've run it on amd64 and sparc64 and am doing a complete bulk rebuild that 
> isn't
> complete yet.
> 
> Full patch: 
> http://www.recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-2.patch.txt
> 

And here's a third patchset with some fixes thanks to a bulk build by krw
http://recoil.org/~avsm/openbsd-patches/ocaml-4.02.3-3.patch.txt

There's only one known failure now in ocaml-camlimages, and the rest all
builds on sparc64 as well.

-a