-
Notifications
You must be signed in to change notification settings - Fork 54
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
Improve build #114
base: master
Are you sure you want to change the base?
Improve build #114
Conversation
b66c1e4
to
a7984cb
Compare
Hello. |
a7984cb
to
ffeb2dc
Compare
Gprbuild knows better than Make about Ada dependencies. Repeating them manually for Make is error-prone. As a compromise: * Make runs gprbuild when at least an Ada source changed. * when it does, it considers that the data must be refreshed because the generator may produce different results. Before this commit, changing a generator was not triggering a rebuild of all dictionaries.
A file on disk was probably required in the 90s, but nowadays the whole file can be stored in RAM, which is way faster. Instead of explicitly sorting, build an ordered set during input. Anything O(n log n) should do.
ffeb2dc
to
eaf9881
Compare
I have removed some cosmetic changes in order to ease review. The monolithic library stuff is unrelated, but affects the same projects, so I want to avoid merge work if possible. The discussion in #112 raised no objection. |
These are various but interconnected suggestions.
The first commit is a prerequisite for test-english-to-latin.