| .. |
|
.gitignore
|
Setup libltdl in ltdl/, so we can use it in the dve2 interface.
|
2011-03-05 12:29:04 +01:00 |
|
00gnulib.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
alloca.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
argp.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
ax_prefix_config_h.m4
|
Install a misc/_config.h to hide all the defines that clutter the
|
2011-06-06 12:52:50 +02:00 |
|
boost.m4
|
Do not use the Boost macro from the Autoconf macro archive.
|
2009-11-09 17:02:40 +01:00 |
|
buddy.m4
|
* m4/buddy.m4: Check for bdd_implies.
|
2012-06-19 21:52:03 +02:00 |
|
debug.m4
|
* configure.ac: Empty CFLAGS and CXXFLAGS.
|
2004-10-11 12:32:49 +00:00 |
|
devel.m4
|
Always pass --enable-devel or --disable-devel to BuDDy.
|
2011-04-10 22:12:25 +02:00 |
|
dirname.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
double-slash-root.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
errno_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
error.m4
|
ltlfilt: use error() to report errors.
|
2012-09-07 14:32:10 +02:00 |
|
exponentd.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
extensions.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
extern-inline.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
fcntl-o.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
fcntl_h.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
float_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
gccoptim.m4
|
Fix the --enable-optimizations check.
|
2010-05-20 17:16:59 +02:00 |
|
gccwarn.m4
|
* m4/gccwarn.m4: Do not check nor use -Wstrict-prototypes.
|
2004-07-16 14:38:44 +00:00 |
|
getopt.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
gettimeofday.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
gnulib-cache.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
gnulib-common.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
gnulib-comp.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
gnulib-tool.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
gspnlib.m4
|
* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Correctly
|
2008-02-25 14:36:56 +01:00 |
|
include_next.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
intel.m4
|
* m4/intel.m4: Fix to support the cache.
|
2009-07-09 21:29:50 +02:00 |
|
intmax_t.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
inttypes_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
largefile.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
lbtt.m4
|
Allow lbtt not to be built, and skip relevant tests.
|
2012-09-25 19:55:06 +02:00 |
|
longlong.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
lstat.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
malloc.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
math_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
memchr.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
mempcpy.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
mkstemp.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
mmap-anon.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
msvc-inval.m4
|
ltlfilt: use error() to report errors.
|
2012-09-07 14:32:10 +02:00 |
|
msvc-nothrow.m4
|
ltlfilt: use error() to report errors.
|
2012-09-07 14:32:10 +02:00 |
|
multiarch.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
ndebug.m4
|
* m4/ndebug.m4: Update CPPFLAGS, not CFLAGS.
|
2004-08-09 08:51:39 +00:00 |
|
nocrash.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
off_t.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
pathmax.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
printf.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
pypath.m4
|
Make sure PYTHON is absolute.
|
2012-04-30 11:57:55 +02:00 |
|
rawmemchr.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
size_max.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
sleep.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
ssize_t.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stat.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
stdalign.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stdbool.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stddef_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stdint.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stdint_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stdio_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stdlib_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
stl.m4
|
Do use of tr1::unordered_map with G++ 4.0.0.
|
2012-01-12 18:40:40 +01:00 |
|
strcase.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
strchrnul.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
strerror.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
string_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
strings_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
strndup.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
strnlen.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
sys_socket_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
sys_stat_h.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
sys_time_h.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
sys_types_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
sysexits.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
tempname.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
time_h.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |
|
unistd_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
valgrind.m4
|
* NEWS, buddy/src/bddop.c, m4/valgrind.m4: s/wether/whether/.
|
2012-08-22 13:53:59 +02:00 |
|
vasnprintf.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
vsnprintf.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
warn-on-use.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
wchar_h.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
wchar_t.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
wint_t.m4
|
Install gnulib to make sure we can use argp in ltlfilt.
|
2012-09-07 14:32:10 +02:00 |
|
xsize.m4
|
gnulib: upgrade and install the mkstemp module.
|
2012-10-13 11:34:30 +02:00 |