aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbarenblat@galois.com>2014-01-27 19:07:30 -0800
committerGravatar Benjamin Barenblat <bbarenblat@galois.com>2014-01-27 19:07:30 -0800
commitb9dfb8d03b457844fbcab5ad20d744971569f0d7 (patch)
tree385f470f4faa64399995403664da0b3f807b8aac /configure.ac
parentbb3a3a61fe7b971ad8ef326ec7e4d5903e6860ee (diff)
Add 'ppaml_tracer_init_from_env'
This new API function is similar to 'ppaml_tracer_init', but instead of accepting the report base name as an argument, it pulls it from the 'PPAMLTRACER_TRACE_BASE' environment variable. This is useful for users who want to be able to vary the locations of trace reports but do not want to build tracing into their configuration file / command-line argument parsers.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index 3e3a1d8..3933d8b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -74,7 +74,7 @@ AC_CHECK_TYPES(
[],
[[#define _POSIX_C_SOURCE 199309L
#include <time.h>]])
-AC_CHECK_FUNCS([mkdtemp nanosleep nftw])
+AC_CHECK_FUNCS([mkdtemp nanosleep nftw setenv unsetenv])
PKG_CHECK_MODULES([check], [check >= 0.9.4],
[],
[AC_MSG_WARN([check not found; `make check' will fail])])