From 2431bb8aa58f572104683491bb7c534ebaaf45d8 Mon Sep 17 00:00:00 2001
From: Tanaka Akira
Date: Fri, 7 Aug 2020 23:35:51 +0900
Subject: Change OUnit package name to ounit2.

OUnit package name is changed from "oUnit" to "ounit2":
https://github.com/gildor478/ounit#user-content-transition-to-ounit2

This change follows it and fixes
a failure, `ocamlfind: Package oUnit not found`,
at `make test-suite` and `dune build`.
---
 test-suite/Makefile              | 8 ++++----
 test-suite/unit-tests/.merlin.in | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index f7447d6cec..8ef59a3b6e 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -301,20 +301,20 @@ endif
 
 unit-tests/src/utest.cmx: unit-tests/src/utest.ml unit-tests/src/utest.cmi
 	$(SHOW) 'OCAMLOPT  $<'
-	$(HIDE)$(OCAMLOPT) -c -I unit-tests/src -package oUnit $<
+	$(HIDE)$(OCAMLOPT) -c -I unit-tests/src -package ounit2 $<
 unit-tests/src/utest.cmo: unit-tests/src/utest.ml unit-tests/src/utest.cmi
 	$(SHOW) 'OCAMLC  $<'
-	$(HIDE)$(OCAMLC) -c -I unit-tests/src -package oUnit $<
+	$(HIDE)$(OCAMLC) -c -I unit-tests/src -package ounit2 $<
 unit-tests/src/utest.cmi: unit-tests/src/utest.mli
 	$(SHOW) 'OCAMLC  $<'
-	$(HIDE)$(OCAMLC) -package oUnit -c $<
+	$(HIDE)$(OCAMLC) -package ounit2 -c $<
 
 unit-tests: $(UNIT_LOGFILES)
 
 # Build executable, run it to generate log file
 unit-tests/%.ml.log: unit-tests/%.ml unit-tests/src/$(UNIT_LINK)
 	$(SHOW) 'TEST      $<'
-	$(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.toplevel,oUnit \
+	$(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.toplevel,ounit2 \
 	     -I unit-tests/src $(UNIT_LINK) $< -o $<.test;
 	$(HIDE)./$<.test
 
diff --git a/test-suite/unit-tests/.merlin.in b/test-suite/unit-tests/.merlin.in
index b2279de74e..668b431d52 100644
--- a/test-suite/unit-tests/.merlin.in
+++ b/test-suite/unit-tests/.merlin.in
@@ -3,4 +3,4 @@ REC
 S **
 B **
 
-PKG oUnit
+PKG ounit2
-- 
cgit v1.2.3