Skip to content
Snippets Groups Projects
  1. Jun 16, 2015
  2. Jun 13, 2015
  3. May 26, 2015
  4. May 13, 2015
  5. May 02, 2015
  6. Apr 30, 2015
  7. Mar 17, 2015
  8. Feb 26, 2015
  9. Feb 24, 2015
    • Oleksandr Zinenko's avatar
      configure.ac: allow builddir for NTL · 459f8ab4
      Oleksandr Zinenko authored
      
      Allow to choose between system and build in --with-ntl configure option
      and to provide related path through --with-ntl-prefix or
      --with-ntl-builddir.  The latter should point to the root directory of
      the NTL build that contains src and include where configure was invoked
      inside src (the only possibility in NTL).  The option is named builddir
      to be consistent with other submodules and to suggest that NTL
      should be built before building barvinok.  In case the NTL source directory
      is given to this option, a suggestion to use the root directory is
      emitted within the error message.  Note that NTL does not use autotools so
      AX_SUBMODULE may not be used directly for it.
      
      Signed-off-by: default avatarOleksandr Zinenko <zinenko@lri.fr>
      Signed-off-by: default avatarSven Verdoolaege <skimo@kotnet.org>
      459f8ab4
    • Oleksandr Zinenko's avatar
      configure.ac: allow builddir for GMP · 791e12bc
      Oleksandr Zinenko authored
      
      Enable building barvinok using a build directory of the GMP library
      rather than its installation through --with-gmp-builddir configure
      option.
      
      Signed-off-by: default avatarOleksandr Zinenko <zinenko@lri.fr>
      Signed-off-by: default avatarSven Verdoolaege <skimo@kotnet.org>
      791e12bc
  10. Feb 05, 2015
Loading