search

voodoos / opam-repository-index

0 stars 0 forks source link

ocaml-uideps: a required argument is missing #1

Closed Kakadu closed 3 months ago

Kakadu commented 7 months ago

Hey. After a few weeks with your fork I found something buggy. Good job, btw!

https://github.com/PLTools/GT.git

✗ dune b .  --verbose
...
Running[1]: (cd _build/default && /home/kakadu/asp/bitvector-mk/_opam/bin/ocaml-index aggregate --root /home/kakadu/asp/GT -o plugins/.syntax_all.objs/cctx.ocaml-index)
Attempted to add watch to non-existent directory
/home/kakadu/.nvm/versions/node/v10.1.0.
Attempted to add watch to non-existent directory
/home/kakadu/.nvm/versions/node/v10.1.0.
File "plugins/.syntax_all.objs/_unknown_", line 1, characters 0-0:
Command [1] exited with code 124:
$ (cd _build/default && /home/kakadu/asp/bitvector-mk/_opam/bin/ocaml-index aggregate --root /home/kakadu/asp/GT -o plugins/.syntax_all.objs/cctx.ocaml-index)
ocaml-uideps: a required argument is missing
Usage: ocaml-uideps aggregate [OPTION]… ARG…
Try 'ocaml-uideps aggregate --help' or 'ocaml-uideps --help' for more information.

This doesn't happen in vanilla, because ocaml-uideps is not there. Do you have any idea what might go wrong, @voodoos ?

old reproduction https://github.com/Kakadu/bitvector-mk/tree/bug-occurences-uideps1 It says ``` ✗ dune b GT -j1 --verbose ... Running[1]: (cd _build/default && /home/kakadu/asp/bitvector-mk/_opam/bin/ocaml-index aggregate --root /home/kakadu/asp/bitvector-mk -o GT/plugins/.syntax_all.objs/cctx.ocaml-index) File "GT/plugins/.syntax_all.objs/_unknown_", line 1, characters 0-0: Command [1] exited with code 124: $ (cd _build/default && /home/kakadu/asp/bitvector-mk/_opam/bin/ocaml-index aggregate --root /home/kakadu/asp/bitvector-mk -o GT/plugins/.syntax_all.objs/cctx.ocaml-index) ocaml-uideps: a required argument is missing Usage: ocaml-uideps aggregate [OPTION]… ARG… Try 'ocaml-uideps aggregate --help' or 'ocaml-uideps --help' for more information. ```
voodoos commented 6 months ago

Thanks a lot for the report ! It's nice to know that someone have been using the feature :-) I will take that issue in consideration when releasing the final indexer for 5.2.

Kakadu commented 3 months ago

I think we can close this.