[ enable-profiling compile with gprof support],
[profile_b=$enableval])
-AC_ARG_ENABLE(mingw32,
+AC_ARG_ENABLE(mingw-prefix,
[ mingw-prefix=DIR set the mingw32 directory (standalone windows32 exes)],
[MINGWPREFIX=$enableval],
[MINGWPREFIX=no])
EOF
-CXX="$ac_cv_prog_CXX" bin/make_version >> lib/out/config.hh
+CXX="$ac_cv_prog_CXX" bin/make-version >> lib/out/config.hh
touch make/out/Site.make
# ugr
-(cd mi2mu; CXX="$ac_cv_prog_CXX" ../bin/make_version > out/version.hh
+(cd mi2mu; CXX="$ac_cv_prog_CXX" ../bin/make-version > out/version.hh
dnl echo 0 > out/.build
)
# rgu
sed 's/TOPLEVEL_//g' < .version > lily/.version
-(cd lily; CXX="$ac_cv_prog_CXX" ../bin/make_version > out/version.hh
+(cd lily; CXX="$ac_cv_prog_CXX" ../bin/make-version > out/version.hh
)
-$MAKE -f make/Toplevel.make.in Makefile
+echo '# WARNING : Automatically generated from make/Toplevel.make.in' | cat - make/Toplevel.make.in > Makefile
cat << END
-Finished configuring. For making everything, do:
+For making everything, do:
- make all
-
-If you only want help on the make targets, do a
-
- make help
-
-assuming that \`make' is GNU make, of course.
+ make # GNU make
If you want to make site-wide extensions to the makefiles, please use
make/out/Site.make
-
-If you can't find a toplevel makefile, please execute
-
- make -f make/Toplevel.make.in Makefile # GNU make, of course
END