diff options
author | Jason Gross <jgross@mit.edu> | 2012-12-12 14:47:06 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2012-12-12 14:47:06 -0500 |
commit | d846d2781bf11b34fc7edc5f4c0030d6419f3d2e (patch) | |
tree | abd07b9c5f5d1525e872391534112720c157fc9d /configure.ac | |
parent | 92b7e9f1eda84b05bc50f3052913d33b20e067b7 (diff) |
Add ./configure MLTONARGS option for MLTON arguments
Named MLTONARGS based on CCARGS.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 2f87db85..4bdaacc4 100644 --- a/configure.ac +++ b/configure.ac @@ -119,6 +119,7 @@ AC_SUBST(SRCLIB) 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 @@ Ur/Web configuration: 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 |