diff configure.ac @ 1837:7cf34f8b7b93

Add ./configure MLTONARGS option for MLTON arguments Named MLTONARGS based on CCARGS.
author Jason Gross <jgross@mit.edu>
date Wed, 12 Dec 2012 14:47:06 -0500
parents 6b86ca4b0908
children 1239ba1a1671
line wrap: on
line diff
--- a/configure.ac	Tue Dec 11 15:58:23 2012 -0500
+++ b/configure.ac	Wed Dec 12 14:47:06 2012 -0500
@@ -119,6 +119,7 @@
 AC_SUBST(INCLUDE)
 AC_SUBST(SITELISP)
 AC_SUBST(CCARGS)
+AC_SUBST(MLTONARGS)
 AC_SUBST(PGHEADER)
 AC_SUBST(MSHEADER)
 AC_SUBST(SQHEADER)
@@ -144,6 +145,7 @@
   site-lisp directory: SITELISP       $SITELISP
   C compiler:          CC             $CC
   Extra CC args:       CCARGS         $CCARGS  
+  Extra MLTON args:    MLTONARGS      $MLTONARGS
   Postgres C header:   PGHEADER       $PGHEADER
   MySQL C header:      MSHEADER       $MSHEADER
   SQLite C header:     SQHEADER       $SQHEADER