Skip to content
  1. Oct 29, 2018
    • Tommaso Tocci's avatar
      Let mercury handle its own dependencies · fde32cae
      Tommaso Tocci authored
      Searching for mercury dependencies is useless. In fact if a library has not been linked and enabled while mercury was built, we won't be able to use it.
      
      Moreover, mercury ships with a make module that provides which links flags needs to be used. Thus there is no need to search for mercury dependencies.
      fde32cae
  2. Oct 28, 2018