OCaml Package Updates

[maurer]

Motivation for this change

• Keep our OCaml ecosystem up to date
• Pave the way for release of BAP on NixOS (this brings all its dependencies up to date for my branch which will introduce it)

Things done

• Tested using sandboxing
  (nix.useSandbox on NixOS,
  or option build-use-sandbox in nix.conf
  on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • Linux
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.

---

This is a batch update of OCaml packages. If you want I can split it up, but most of it is fairly straightforward version bumps/bugfixes.

[vbgl]

The srcdir patch seems still needed.

[maurer]

Can you tell me the environment in which this fails? It builds locally for me, and I'd like to know how to observe the build failure to avoid this in the future. (I've added srcdir.patch back in locally, and it'll be in a changed PR in a few minutes after I finish doing a clean rebase on master.)

[vbgl]

On darwin, I get the following trace:

building
make flags: SHELL=/nix/store/rafidkx85sv66c1q9iplq6zkjhs2136a-bash-4.4-p12/bin/bash
{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
  cat /byteswap.in.h; \
} > byteswap.h-t
cat: /byteswap.in.h: No such file or directory
make: *** [Makefile:127: byteswap.h] Error 1
builder for ‘/nix/store/mgjnwki5lpknbi3c3fczm0fr5nmlj79j-ocaml-bitstring-2.1.0.drv’ failed with exit code 2

Wild guess: the issue does not show up on Linux since the byteswap.h file is found in the libc.

You may remove the patch, if you prefer something like: makeFlags = "srcdir=.";.

[maurer]

@vbgl I'm fine with leaving the patch in there, I was just curious. The Travis Darwin builder failed for other reasons before it got there so I didn't know that was the issue.

[vbgl]

Cherry-picked the bitstring update in 750dca5.
It seemed that there was no reason to keep version 2.0.4 of bitstring, so I dropped it.

Also cherry-picked the camlzip update as b4716ea, and the fileutils one as 03568b3, and the ocamlgraph one as 3c7b0d3, and the piqi stuff as 4e47e85.

[maurer]

That just leaves ctypes that I have a personal care about - async_ssl and functoria fixes were to get nox-review wip to report all changes clean. async_ssl because it needs to be bumped to use the new ctypes (which forces it onto ppx infrastructure as well), and functoria because it never actually built without 4.03 due to a missing API, so I just masked it off with an if.

[vbgl]

Cherry-picked the ctypes update as 24c616c, and the new async_ssl package as 401c284.

[maurer]

Everything I'm concerned with has been merged, I'll leave appropriately masking the compiler on functoria to others I suppose.

[maurer]

Nevermind, I'm clumsy and missed that ocamlgraph has not yet been bumped, still need that one.

[maurer]

aaand I was looking at a stale copy, we're actually good here, sorry about the noise