From 5b1784957f134c0316f062f87b1cdc002a3b056b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Mon, 4 Feb 2013 22:16:10 +0100 Subject: [PATCH] Makefile-distrib update Makefile-distrib: include install-sh script in source distribution (mandatory for autoconf). Enable simulator by default (for automatic builds on pipol: some ctest versions does not allow options passing to configure scripts). --- Makefile-distrib | 3 ++- configure.in | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile-distrib b/Makefile-distrib index 1dcba17..1cfcd02 100644 --- a/Makefile-distrib +++ b/Makefile-distrib @@ -49,9 +49,10 @@ source-distrib: # manual mkdir -p export/$(heptdir)/manual cp manual/heptagon-manual.pdf export/$(heptdir)/manual -# Makefile, config.in, configure, INSTALL, COPYING +# Makefile, config.in, configure, install-sh, INSTALL, COPYING cp config.in export/$(heptdir) cp configure export/$(heptdir) + cp install-sh export/$(heptdir) cp Makefile export/$(heptdir) cp COPYING export/$(heptdir) cp manual/INSTALL export/$(heptdir) diff --git a/configure.in b/configure.in index 739ffdf..d0f785d 100644 --- a/configure.in +++ b/configure.in @@ -6,7 +6,7 @@ AC_PROG_MAKE_SET AC_ARG_ENABLE(simulator, [ --enable-simulator enable the graphical simulator],, - enable_simulator=no) + enable_simulator=yes) AC_ARG_ENABLE(local_stdlib, [ --enable-local-stdlib use the in-sources standard library],,