Skip to content

Commit 5b03d90

Browse files
committed
use rocq makefile in tests
1 parent eee1077 commit 5b03d90

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

tests/Makefile

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
MAKE_OPTS:= --no-builtin-rules
22

33
.PHONY: submake
4-
submake: Makefile.coq
5-
$(MAKE) $(MAKE_OPTS) -f Makefile.coq $(MAKECMDGOALS)
4+
submake: Makefile.rocq
5+
$(MAKE) $(MAKE_OPTS) -f Makefile.rocq $(MAKECMDGOALS)
66

7-
Makefile.coq: _CoqProject
8-
$(COQBIN)coq_makefile -f $< -o $@
7+
Makefile.rocq: _CoqProject
8+
$(COQBIN)rocq makefile -f $< -o $@
99

1010
%:: submake ;
1111

0 commit comments

Comments
 (0)