Commit 9a318105 authored by Heiko Becker's avatar Heiko Becker

Make Coq configure script ignore output directory

parent a034407f
......@@ -4,7 +4,7 @@ function display_help {
echo " generate Makefile.coq for this directory"
echo ""
echo -e " --help\t Show this text"
echo -e " --timing\t Use timing scripts"
echo -e " --timing\t Use timing scripts"
}
TIMING=
......@@ -12,7 +12,7 @@ while [ $# != 0 ]; do
case "$1" in
--help) display_help;;
--timing) TIMING=yes;;
*)
*)
esac
shift
done
......@@ -39,12 +39,12 @@ echo "Found Coq version $coq_ver."
echo "-R . Daisy" > _CoqProject
find . -path ./attic -prune -o -name "*.v" -print >> _CoqProject
find . -path ./attic -prune -o -path ./output -prune -o -name "*.v" -print >> _CoqProject
coq_makefile -f _CoqProject -o Makefile
sed -i -- 's/TIMECMD=/TIMECMD?=/g' Makefile
echo 'ifeq ($(wildcard time.rb)$(wildcard .timing),time.rb.timing)
export TIMECMD=@./time.rb $(if $(findstring j,$(MAKEFLAGS)),--parallel,)
export TIMECMD=@./time.rb $(if $(findstring j,$(MAKEFLAGS)),--parallel,)
endif' >>Makefile
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment