Skip to content

Commit

Permalink
Alternate force target that allows generating .v files
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Jun 26, 2023
1 parent 6e07fa2 commit 8ce1d5d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile.coq.common
Original file line number Diff line number Diff line change
Expand Up @@ -174,12 +174,12 @@ endif

NONEXISTANT_COQPROJECT_VFILES = $(filter-out $(_COQPROJECT_EXCLUDED_VFILES) $(wildcard $(VFILES)),$(VFILES))
ifneq (,$(NONEXISTANT_COQPROJECT_VFILES))
FORCE::
FORCE:: | $(NONEXISTANT_COQPROJECT_VFILES)
@ echo
@ echo 'error: $(NONEXISTANT_COQPROJECT_VFILES) is in $(_COQPROJECT_NAME) but does not exist.'
@ echo 'error: Please run `$(MAKE) $(UPDATE_COQPROJECT_TARGET)`.'
@ echo
@ false
#@ false
endif
endif

Expand Down

0 comments on commit 8ce1d5d

Please sign in to comment.