diff options
Diffstat (limited to 'testsuite/sources/steps/Makefile')
-rw-r--r-- | testsuite/sources/steps/Makefile | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/testsuite/sources/steps/Makefile b/testsuite/sources/steps/Makefile new file mode 100644 index 0000000..9b78bbc --- /dev/null +++ b/testsuite/sources/steps/Makefile @@ -0,0 +1,52 @@ +# part of Comfignat's testsuite +# Copyright 2014 B. Persson, Bjorn@Rombobeorn.se +# +# This material is provided as is, with absolutely no warranty expressed +# or implied. Any use is at your own risk. +# +# Permission is hereby granted to use or copy this testsuite +# for any purpose, provided the above notices are retained on all copies. +# Permission to modify the code and to distribute modified code is granted, +# provided the above notices are retained, and a notice that the code was +# modified is included with the above copyright notice. + + +include comfignat.mk + +build_GPRs = build_testcase.gpr + +preprocess: + echo done >> preprocess_done + +base: + echo done >> base_done + +build: + echo done >> build_done + +preinstall: + echo done >> preinstall_done + +install_files: + echo done >> install_files_done + +postinstall: + echo done >> postinstall_done + +install: + echo done >> install_done + errors=0; \ + for file in *_done; do \ + if ! echo done | diff "$${file}" - >/dev/null; then \ + echo "The content of $${file} is wrong:" >&2; \ + cat "$${file}" >&2; \ + errors=`expr $${errors} + 1`; \ + fi; \ + done; \ + exit $${errors} +# Each *_done file shall contain one line with "done". If there are two, then a +# step has been performed twice. For example "make install" may have triggered +# a build even though a build had already been done. + +clean:: + rm -f *_done |