summaryrefslogtreecommitdiff
path: root/ppl-config.sed
AgeCommit message (Expand)AuthorFilesLines
2012-02-20The Parma Watchdog Library has been merged into the Parma Polyhedra Library.Roberto Bagnara1-0/+1
2011-10-26Do rename HAVE_DECL_SETRLIMIT.Roberto Bagnara1-0/+1
2010-02-15Improve portability to systems that do not (fully) support Posix signal handl...Roberto Bagnara1-0/+4
2009-03-22Tightened the machinery used to generate the configuration headers.Roberto Bagnara1-65/+65
2009-03-22New machinery to create ppl-config.h and pwl-config.h.Roberto Bagnara1-0/+65