[llvm-commits] [poolalloc] r48481 - in /poolalloc/branches/SVA: autoconf/configure.ac configure include/poolalloc/Config/config.h.in

[John Criswell]

Author: criswell
Date: Mon Mar 17 22:28:06 2008
New Revision: 48481

URL: http://llvm.org/viewvc/llvm-project?rev=48481&view=rev
Log:
Added the --enable-safeio configure option for safe I/O in SVA.
Fixed a comment in configure.ac.

Modified:
    poolalloc/branches/SVA/autoconf/configure.ac
    poolalloc/branches/SVA/configure
    poolalloc/branches/SVA/include/poolalloc/Config/config.h.in

Modified: poolalloc/branches/SVA/autoconf/configure.ac
URL: http://llvm.org/viewvc/llvm-project/poolalloc/branches/SVA/autoconf/configure.ac?rev=48481&r1=48480&r2=48481&view=diff

==============================================================================
--- poolalloc/branches/SVA/autoconf/configure.ac (original)
+++ poolalloc/branches/SVA/autoconf/configure.ac Mon Mar 17 22:28:06 2008
@@ -79,13 +79,20 @@
                   AC_DEFINE(BOUNDS_CHECK,[[1]]),
                   )
 
-dnl --enable-llva-kernel: Compile DSA for pool inference
+dnl --enable-kernel: Compile DSA for pool inference
 AC_ARG_ENABLE(kernel,
   AS_HELP_STRING(--enable-kernel,
                  [Use SAFECode for use with Linux Kernel (default is NO)]),
                   AC_DEFINE(LLVA_KERNEL,[[1]]),
                   )
 
+dnl --enable-safeio: Compile DSA to support safe I/O in SVA
+AC_ARG_ENABLE(safeio,
+  AS_HELP_STRING(--enable-safeio,
+                 [Enable safe I/O for SVA (default is NO)]),
+                  AC_DEFINE(SVA_IO,[[1]]),
+                  )
+
 dnl **************************************************************************
 dnl * Set the location of various third-party software packages
 dnl **************************************************************************

Modified: poolalloc/branches/SVA/configure
URL: http://llvm.org/viewvc/llvm-project/poolalloc/branches/SVA/configure?rev=48481&r1=48480&r2=48481&view=diff

==============================================================================
--- poolalloc/branches/SVA/configure (original)
+++ poolalloc/branches/SVA/configure Mon Mar 17 22:28:06 2008
@@ -848,6 +848,7 @@
   --enable-boundschecks   Enable SAFECode bounds checking (default is NO)
   --enable-kernel         Use SAFECode for use with Linux Kernel (default is
                           NO)
+  --enable-safeio         Enable safe I/O for SVA (default is NO)
 
 Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
@@ -3664,6 +3665,15 @@
 
 fi;
 
+# Check whether --enable-safeio or --disable-safeio was given.
+if test "${enable_safeio+set}" = set; then
+  enableval="$enable_safeio"
+  cat >>confdefs.h <<\_ACEOF
+#define SVA_IO 1
+_ACEOF
+
+fi;
+
 
 
 # Check whether --with-safecodesrc or --without-safecodesrc was given.

Modified: poolalloc/branches/SVA/include/poolalloc/Config/config.h.in
URL: http://llvm.org/viewvc/llvm-project/poolalloc/branches/SVA/include/poolalloc/Config/config.h.in?rev=48481&r1=48480&r2=48481&view=diff

==============================================================================
--- poolalloc/branches/SVA/include/poolalloc/Config/config.h.in (original)
+++ poolalloc/branches/SVA/include/poolalloc/Config/config.h.in Mon Mar 17 22:28:06 2008
@@ -475,3 +475,6 @@
 /* Define to 1 if compiling for pool inference */
 #undef LLVA_KERNEL
 
+/* Define to 1 if compiling with safe I/O for SVA */
+#undef SVA_IO
+