Skip to content

Commit 2b50da7

Browse files
JasonGrossJasonGross
authored
Makefile: all and install are PHONY (#115)
cf https://coq.zulipchat.com/#narrow/channel/237656-Coq-devs-.26-plugin-devs/topic/stdlib.20broken.20on.20Mac/near/503140259
1 parent beee312 commit 2b50da7

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎theories/Makefile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,11 @@ ROCQMAKEFILE?=$(ROCQBIN)rocq makefile
33
ROCQMAKEOPTIONS?=
44
ROCQMAKEFILEOPTIONS?=
55

6+
.PHONY: all
67
all: Makefile.coq
78
+$(MAKE) -f $< $(ROCQMAKEOPTIONS)
89

10+
.PHONY: install
911
install: Makefile.coq
1012
+$(MAKE) -f $< $(ROCQMAKEOPTIONS) install
1113

0 commit comments

Comments
 (0)