| commit | 791e12bca9b8129e1f3944b9dee5e3a43d899738 | |
| author | Oleksandr Zinenko <oleksandr.zinenko@lri.fr> | |
| Mon, 23 Feb 2015 15:27:44 +0000 (23 16:27 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 24 Feb 2015 10:42:47 +0000 (24 11:42 +0100) | ||
| tree | c0b2f3abbd05533a34ce33dd6909e2609738894f | treesnapshot (tar.gz zip) |
| parent | 059d672758f38ed9fcfb07c101773e0bf727dfc5 | commitdiff |
configure.ac: allow builddir for GMP
Enable building barvinok using a build directory of the GMP library
rather than its installation through --with-gmp-builddir configure
option.
Signed-off-by: Oleksandr Zinenko <zinenko@lri.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Enable building barvinok using a build directory of the GMP library
rather than its installation through --with-gmp-builddir configure
option.
Signed-off-by: Oleksandr Zinenko <zinenko@lri.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| configure.ac | diffblobblamehistory |