We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
This is minor but when you provide an invalid coq_location in myocamlbuild.ml, the error message is a bit unclear.
coq_location
myocamlbuild.ml
I wonder if there is a way for you to detect and complain that the directory does not exist.
The text was updated successfully, but these errors were encountered:
Indeed, sorry. The myocamlbuild.ml file will go entirely away once coq/coq#187 is completed and merged.
Sorry, something went wrong.
This is solved as now SerAPI builds using ocamlfind.
No branches or pull requests
This is minor but when you provide an invalid
coq_location
inmyocamlbuild.ml
, the error message is a bit unclear.I wonder if there is a way for you to detect and complain that the directory does not exist.
The text was updated successfully, but these errors were encountered: