From 633b6ae76fc9db3bc24040002004edf4dc9d54e3 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 25 Jan 2025 11:40:38 +0100
Subject: [PATCH] Update tests to rocq

---
 tests/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/Makefile b/tests/Makefile
index e823f3c..9a17b65 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-COQC=coqc
+ROCQC=rocq c
 
 all: success output
 
@@ -7,10 +7,10 @@ success: $(addsuffix o,$(wildcard success/*.v))
 output: $(addsuffix o,$(wildcard output/*.v))
 
 success/%.vo: success/%.v
-	$(COQC) $<
+	$(ROCQC) $<
 
 output/%.vo: output/%.v
 	input=$<; \
 	output=$${input%.v}.out.real; \
-	$(COQC) $< 2>&1 > $$output; \
+	$(ROCQC) $< 2>&1 > $$output; \
 	diff --strip-trailing-cr $${input%.v}.out $$output