New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix part of #22 #30
Fix part of #22 #30
Conversation
just added a patch to do this myself before noticing this :) however, i blocked on getting the .annot files into the right place for emacs/typerex to pick them up -- they get generated in the build directory rather than the source directory it seems. any ideas? i've tried constructing and spawning an appropriate |
@mor1: is that a problem that they are not in the source directory ? i.e. can't the search path be specified ? I'm not up-to-date on what's the other system do, as i don't use annot. |
short answer: don't know. best to talk to thomas about that i think -- current beta of typrerex appears to allow a ROOT/.typerex file that can specify where to find .cmt files; but i couldn't get .cmt files it would accept to be generated, whereas with the current stable release, putting .annot file into the source directory definitely does work... (possibly this is a cul de sac and i should just manage manually until the next release of typerex...) |
I looked at ocamlspot, it does not work well either when .annot/.cmt are not in the same directory as the sources. There is an ad-hoc hack for ocamlbuild as well as a config file to specify a directory to search, but I did not manage to get that working for now |
is there a way to execute a command in ocamlspot that would tell ocamlspot where to look for the annot files ? for example we could have: obuild get annot:src/a.ml => /path/to/a.annot |
Yeah there should be, it is just not working well or not easy to make it work. But there is nothing obuild can do about it for sure :) |
Please look if it is correct now. |
Thanks @vbmithr. For the location, we probably need to sort it out, but i guess it could be a different issue. |
Global command line flag for generating annot files