jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Makefile-distrib update

Browse source 
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).
This commit is contained in:
Gwenaël Delaval 2013-02-04 22:16:10 +01:00
parent e7f85d6b25
commit 5b1784957f
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Makefile-distrib
View file

@ -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)

2
configure.in
View file

@ -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],,