From 222f533a9efc02eef2b1758d749710744b7f42e8 Mon Sep 17 00:00:00 2001 From: evomarc Date: Fri, 5 Jan 2001 07:10:25 +0000 Subject: [PATCH] Trying to make the installation lighter, but the doc and the src would not compile, with make doc or make src ... --- eo/Makefile.am | 7 ++++--- eo/autogen.sh | 7 ++++++- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/eo/Makefile.am b/eo/Makefile.am index 46c882561..28e429f58 100644 --- a/eo/Makefile.am +++ b/eo/Makefile.am @@ -14,14 +14,15 @@ EXTRA_DIST=LICENSE ############################################################################### -lib: +lib: src/libeo.a src/utils/libeoutils.a pushd src; $(MAKE) all; popd test: pushd test; $(MAKE) all; popd -doc: - pushd doc; $(MAKE) doc; popd +# so that make doc always compiles the doc ... +doc: doc/eo.cfg + pushd doc; $(MAKE) doc; touch doc/eo.cfg; popd tutorial: pushd tutorial; $(MAKE) all; popd diff --git a/eo/autogen.sh b/eo/autogen.sh index 1abf328eb..58ad1681c 100755 --- a/eo/autogen.sh +++ b/eo/autogen.sh @@ -51,4 +51,9 @@ done echo echo "Now type 'make' to compile $PROG." -echo "And if you have Doxygen installed, type 'make doc' to generate EO documentation." +echo "And if you have Doxygen installed, type 'make doc' to generate $PROG documentation." +echo +echo "WARNING: Compiling all test programs can take some time." +echo "But you don't have to: you can simply type 'make src'" +echo "and then go in your application dir (or in the tutorial dir)" +echo "and there type 'make'"