Merge branch 'master' of ssh://git.gag.com/scm/git/fw/altos

[fw/altos] / configure.ac

diff --git a/configure.ac b/configure.ac
index a14762b00b2a57b05841cf262316db6b549d23ac..1705745d794c01f7192ab42625a68736cc09e1b8 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -184,6 +184,12 @@ else
        HAVE_GOOGLE_KEY="no"
 fi
 
+AC_ARG_ENABLE(faketime, AS_HELP_STRING([--enable-faketime],
+              [Use faketime program to ensure pdf files are reproducible (default=no)]),
+             [FAKETIME=$enableval], [FAKETIME=no])
+
+AM_CONDITIONAL(FAKETIME, [test x$FAKETIME = xyes])
+
 AC_SUBST(GOOGLEKEY)
 
 AC_PROG_CC
@@ -565,6 +571,9 @@ ao-tools/ao-usbtrng/Makefile
 ao-tools/ao-chaosread/Makefile
 ao-tools/ao-makebin/Makefile
 ao-utils/Makefile
+map-server/Makefile
+map-server/altos-mapd/Makefile
+map-server/altos-map/Makefile
 src/Version
 ])