obuild cannot parse findlib predicates

[yallop]

For example, the ctypes META file has the following:

requires(-mt) = "ctypes.foreign.unthreaded"

which causes netlink (which depends on ctypes) to fail with a parse error:

error: unexpected parse error 'expecting '+=' or '=' after requires' in meta file /home/jeremy/.opam/4.01.0/lib/ctypes/META

[jeromemaloberti]

Thank you for the report.
There are actually 2 problems/bugs.
The first is that negative predicates (-mt) cannot be parsed in the current version of obuild (I just fixed it on my dev branch). The second is that negative predicates are not checked (I'm working on it now).
Hopefully, I will push a fix soon.

[UnixJunkie]

related to
#121

[UnixJunkie]

Thanks for trying to fix this.
I can test the fix if needed, just tell me.

[jeromemaloberti]

I pushed a fix on master.
That would be very useful if you could test.

[UnixJunkie]

I did tests on my side: obuild can now parse the META file from ocamlnet's rpc library.
Maybe @yallop can test his case again against the current master branch of obuild.

[yallop]

Unfortunately, the master obuild branch still can't parse my META file. Here's how to reproduce the failing netlink build:

$ opam switch 4.02.1
[...]
$ eval `opam config env`
$ opam pin add obuild [email protected]:ocaml-obuild/obuild.git 
[...]
$ opam install ctypes.0.4.0
[...]
$ git clone [email protected]:xapi-project/ocaml-netlink.git
$ cd ocaml-netlink
$ obuild configure
Configuring ocaml-libnl-0.1...
error: unexpected parse error 'expecting '+=' or '=' after requires' in meta file /home/jeremy/.opam/4.02.1/lib/ctypes/META

[jeromemaloberti]

Indeed, I didn't notice it was on the "require" keyword. I need to do more work.

[UnixJunkie]

@yallop there is no obuild file in ocaml-netlink
I cannot reproduce your recipe

[UnixJunkie]

@jmaloberti do you support the require keyword?

[yallop]

@yallop there is no obuild file in ocaml-netlink
I cannot reproduce your recipe

You can reproduce it by checking out a revision which still contained an obuild file:

git checkout 86356f6e

[jeromemaloberti]

Yes, but not with predicate. I fixed the parsing, so it will not raise the exception anymore, however, the compilation DAG cannot choose the right sub package yet, I need to fix it.