atdgen 1.10.2 causes infer 0.7.0 build breakage about atd HOT 5 CLOSED

From @rgrinberg on May 25, 2017 19:6

So this is the error:

atdgen -t backend/jsonbug.atd -o backend/jsonbug
atdgen -j backend/jsonbug.atd -o backend/jsonbug
atdgen -t backend/jsonbug.atd -o backend/jsonbug
fatal: Not a git repository: '../../.git'
atdgen -j backend/jsonbug.atd -o backend/jsonbug
fatal: Not a git repository: '../../.git'
...

...
gcc: error: /home/ubuntu/.opam/system/lib/atdgen/ag_util.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/atdgen/ag_ob_run.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/atdgen/ag_oj_run.o: No such file or directory
File "caml_startup", line 1:
Error: Error during linking

Can we see the actual compilation command that's causing it?

It's true that these various .o files aren't being installed anymore. But why are they even necessary? atdgen.a should be enough no?

from atd.

From @jayvdb on May 25, 2017 19:15

The full log with commands run can be seen at https://travis-ci.org/jayvdb/coala-bears/jobs/235904747

from atd.

From @jayvdb on May 25, 2017 19:36

Building the latest version of infer from source works, but that is likely just working around the problem as it installed atdgen 1.6.0.

fwiw, the 'but' there is wrong. I've now forced use of atdgen 1.10.2 with infer master (requiring ocaml 4.04.0), and that works properly.

from atd.

From @rgrinberg on May 25, 2017 19:51

Wait, so does 1.10.2 work with infer or not?

from atd.

From @jayvdb on May 25, 2017 19:52

This is about infer 0.7.0.

from atd.