17 files changed, 114 insertions, 0 deletions

diff --git a/testsuite/sources/steps/Comfignat_default_goal b/testsuite/sources/steps/Comfignat_default_goal
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/Comfignat_default_goal
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
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
diff --git a/testsuite/sources/steps/base b/testsuite/sources/steps/base
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/base
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/build b/testsuite/sources/steps/build
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/build
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/build_testcase.gpr b/testsuite/sources/steps/build_testcase.gpr
new file mode 100644
index 0000000..912115b
--- /dev/null
+++ b/testsuite/sources/steps/build_testcase.gpr
@@ -0,0 +1,20 @@
+-- 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.
+
+
+with "comfignat.gpr";
+
+standard project Build_Testcase is
+   for Main       use ("testcase");
+   for Object_Dir use Comfignat.Objdir;
+   for Exec_Dir   use Comfignat.Stage_Bindir;
+end Build_Testcase;
diff --git a/testsuite/sources/steps/clean b/testsuite/sources/steps/clean
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/clean
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/configure b/testsuite/sources/steps/configure
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/configure
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/distclean b/testsuite/sources/steps/distclean
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/distclean
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/generated_files b/testsuite/sources/steps/generated_files
new file mode 100644
index 0000000..0788db6
--- /dev/null
+++ b/testsuite/sources/steps/generated_files
@@ -0,0 +1,9 @@
+comfignat.gpr
+${stage_bindir}/testcase
+preprocess_done
+base_done
+build_done
+$(if [ "${installation}" = full ] ; then echo preinstall_done ; fi)
+$(if [ "${installation}" = files -o "${installation}" = full ] ; then echo install_files_done ; fi)
+$(if [ "${installation}" = full ] ; then echo postinstall_done ; fi)
+$(if [ "${installation}" = files -o "${installation}" = full ] ; then echo install_done ; fi)
diff --git a/testsuite/sources/steps/install b/testsuite/sources/steps/install
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/install
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/install_files b/testsuite/sources/steps/install_files
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/install_files
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/install_stage b/testsuite/sources/steps/install_stage
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/install_stage
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/postinstall b/testsuite/sources/steps/postinstall
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/postinstall
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/preinstall b/testsuite/sources/steps/preinstall
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/preinstall
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/preprocess b/testsuite/sources/steps/preprocess
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/preprocess
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.
diff --git a/testsuite/sources/steps/testcase.adb b/testsuite/sources/steps/testcase.adb
new file mode 100644
index 0000000..4121845
--- /dev/null
+++ b/testsuite/sources/steps/testcase.adb
@@ -0,0 +1,20 @@
+-- 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.
+
+
+with Ada.Calendar; use Ada.Calendar;
+with Ada.Text_IO; use Ada.Text_IO;
+
+procedure Testcase is
+begin
+   Put_Line(Year(Clock)'Img);
+end Testcase;
diff --git a/testsuite/sources/steps/unconfigure b/testsuite/sources/steps/unconfigure
new file mode 100644
index 0000000..ab91d7c
--- /dev/null
+++ b/testsuite/sources/steps/unconfigure
@@ -0,0 +1 @@
+The presence of this file must not inhibit the like-named Make target.