diff options
| author | bringert <unknown> | 2005-05-19 12:48:00 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-19 12:48:00 +0000 |
| commit | fb90359e3273963985799595f00937169bc49fb9 (patch) | |
| tree | 8d578451e8c4ef4d13f407c34e091bf867dac5e5 /src/configure.ac | |
| parent | a3bdf26f22cf21cdaace5d03ca04d0550e4b3ed8 (diff) | |
Allow setting GHCFLAGS with configure.
Diffstat (limited to 'src/configure.ac')
| -rw-r--r-- | src/configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/configure.ac b/src/configure.ac index b63d1c840..56c910976 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -4,7 +4,7 @@ AC_INIT([GF],[2.2],[aarne@cs.chalmers.se],[GF]) AC_PREREQ(2.53) -AC_REVISION($Revision: 1.18 $) +AC_REVISION($Revision: 1.19 $) AC_CONFIG_FILES([config.mk jgf]) @@ -130,6 +130,7 @@ dnl *********************************************** dnl Program flags dnl *********************************************** +AC_SUBST(GHCFLAGS) AC_SUBST(CPPFLAGS) AC_SUBST(LDFLAGS) |