Revert "Take into account the --enable-distrib and --enable-coverage options"
Revert "Take into account the --enable-distrib and --enable-coverage options"

This reverts commit f016dca71c8c620222f2ac564995b8f5d4bb5cef.

stcarrez/ada-el