From 4b2eba276790907d973a1ca1410a92b780002e47 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 28 Apr 2022 15:52:16 +0200
Subject: [PATCH] [devguide] update test and oracle for new infrastructure
Also do not forget to copy oracle in the `generated` directory
---
doc/developer/tutorial/hello/Makefile | 4 +++-
doc/developer/tutorial/hello/src/hello_test.c | 3 ++-
doc/developer/tutorial/hello/src/hello_test.res.oracle | 2 +-
3 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/doc/developer/tutorial/hello/Makefile b/doc/developer/tutorial/hello/Makefile
index cdeaa65fbab..94d8f6148cc 100644
--- a/doc/developer/tutorial/hello/Makefile
+++ b/doc/developer/tutorial/hello/Makefile
@@ -104,6 +104,7 @@ generated/makefile_multiple: generated/src/help_msg.ml \
generated/with_test: generated/src/run_call_print_bug.ml \
generated/src/tests/hello/hello_test.c \
+ generated/src/tests/hello/oracle/hello_test.res.oracle \
generated/src/Makefile.test
mkdir -p $@
cp generated/makefile_multiple/hello_options.ml $@/hello_options.ml
@@ -112,8 +113,9 @@ generated/with_test: generated/src/run_call_print_bug.ml \
cp generated/src/run_call_print_bug.ml $@/hello_run_bug.ml
echo "" >> $@/hello_run_bug.ml
cat generated/src/extend_run.ml >> $@/hello_run_bug.ml
- mkdir -p $@/tests/hello
+ mkdir -p $@/tests/hello/oracle
cp generated/src/tests/hello/hello_test.c $@/tests/hello/hello_test.c
+ cp generated/src/tests/hello/oracle/hello_test.res.oracle $@/tests/hello/oracle/hello_test.res.oracle
cp generated/src/Makefile.test $@/Makefile
generated/with_doc: generated/src/help_msg.ml \
diff --git a/doc/developer/tutorial/hello/src/hello_test.c b/doc/developer/tutorial/hello/src/hello_test.c
index 6ee10eeafa3..9fcbfc12af7 100644
--- a/doc/developer/tutorial/hello/src/hello_test.c
+++ b/doc/developer/tutorial/hello/src/hello_test.c
@@ -1,3 +1,4 @@
/* run.config
+ PLUGIN: Hello
OPT: -hello
- */
\ No newline at end of file
+ */
diff --git a/doc/developer/tutorial/hello/src/hello_test.res.oracle b/doc/developer/tutorial/hello/src/hello_test.res.oracle
index 32e9c05eee6..5f6ab2389a8 100644
--- a/doc/developer/tutorial/hello/src/hello_test.res.oracle
+++ b/doc/developer/tutorial/hello/src/hello_test.res.oracle
@@ -1,2 +1,2 @@
-[kernel] Parsing tests/hello/hello_test.c (with preprocessing)
+[kernel] Parsing hello_test.c (with preprocessing)
[hello] Hello, world!
--
GitLab