From a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 16 Nov 2022 14:40:34 +0100
Subject: Automatically generate the Makefile and _CoqProject files in the
 tests subdirectories

---
 tests/coq/hashmap/Makefile    | 1 +
 tests/coq/hashmap/_CoqProject | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

(limited to 'tests/coq/hashmap')

diff --git a/tests/coq/hashmap/Makefile b/tests/coq/hashmap/Makefile
index ff1ccd39..1a5aee4a 100644
--- a/tests/coq/hashmap/Makefile
+++ b/tests/coq/hashmap/Makefile
@@ -1,3 +1,4 @@
+# This file was automatically generated - modify ../Makefile.template instead
 # Makefile originally taken from coq-club
 
 %: Makefile.coq phony
diff --git a/tests/coq/hashmap/_CoqProject b/tests/coq/hashmap/_CoqProject
index 94708adc..7f80afbf 100644
--- a/tests/coq/hashmap/_CoqProject
+++ b/tests/coq/hashmap/_CoqProject
@@ -1,8 +1,8 @@
+# This file was automatically generated - see ../Makefile
 -R . Lib
 -arg -w
 -arg all
 
-Primitives.v
-
 Hashmap_Types.v
-Hashmap_Funs.v
\ No newline at end of file
+Primitives.v
+Hashmap_Funs.v
-- 
cgit v1.2.3