summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Collapse)AuthorFilesLines
2011-03-18isl 0.06isl-0.06Sven Verdoolaege1-2/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-01-05isl 0.05.1isl-0.05.1Sven Verdoolaege1-2/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-12-23isl 0.05isl-0.05Sven Verdoolaege1-2/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+3
We need to turn on the nostdinc option of automake as otherwise it would include -I$(top_builddir)/include/isl in DEFAULT_INCLUDES because of AC_CONFIG_HEADERS(include/isl/config.h) in configure.ac. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-09-10isl 0.04isl-0.04Sven Verdoolaege1-2/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-06-29isl 0.03isl-0.03Sven Verdoolaege1-2/+2
2010-06-19add isl_versionSven Verdoolaege1-0/+3
2010-03-10isl 0.02isl-0.02Sven Verdoolaege1-2/+2
2010-01-13properly remove piplib submoduleSven Verdoolaege1-9/+1
309036c (add copyright statements) accidentally removed the piplib submodule. Removing the piplib submodule was not a bad idea since we don't really need it anymore, but it should be done properly.
2009-12-16remove functions for converting between isl and PolyLibSven Verdoolaege1-50/+0
These functions could be seen as being derived work from PolyLib and would therefore infect the whole library with the GPLv2 license. They will be moved into a separate isl-polylib library.
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-1/+2
2009-10-02configure.ac: fix cut-and-paste error in original commitSven Verdoolaege1-1/+1
2009-09-20create pkg-config fileSven Verdoolaege1-0/+3
2009-09-06isl 0.01isl-0.01Sven Verdoolaege1-1/+3
2009-09-06add a rudimentary manualSven Verdoolaege1-0/+7
2009-09-06configure.ac: set maximal optimization compiler flagsSven Verdoolaege1-0/+2
2009-09-06configure.ac: use AX_SUBMODULE for gmp for consistencySven Verdoolaege1-3/+1
2009-09-06separate out config header from isl_ctx.hSven Verdoolaege1-1/+1
2009-08-07configure.ac: no longer use piplib by defaultSven Verdoolaege1-60/+2
2009-07-22configure.ac: explicitly set AC_CONFIG_AUX_DIRSven Verdoolaege1-0/+1
Without it, libtool can apparently get confused about which ltmain.sh to use.
2009-06-13update piplib for change in configure argumentsSven Verdoolaege1-1/+1
2009-05-05configure.in: set AC_CONFIG_MACRO_DIRSven Verdoolaege1-0/+1
2008-12-02Add backup mp_get_memory_functions implementation for use with old gmpsSven Verdoolaege1-0/+8
2008-10-14use uint_32_t from stdint.h instead of u_int_32_tSven Verdoolaege1-0/+2
2008-08-25link in polylib library in builddirSven Verdoolaege1-0/+1
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+186
This version is very incomplete and unoptimized.