Skip to content

Commit

Permalink
Merge pull request #492 from mtzguido/noinc
Browse files Browse the repository at this point in the history
Makefile: improve confusing errors in inclusion
  • Loading branch information
msprotz authored Oct 14, 2024
2 parents 9de4665 + 4ddfdb9 commit c31a22c
Showing 1 changed file with 12 additions and 1 deletion.
13 changes: 12 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -1,5 +1,16 @@
# Including a Makefile from the visitors package, but making sure
# to give decent errors.

# make src/Ast.processed.ml
include $(shell ocamlfind query visitors)/Makefile.preprocess
_:=$(shell ocamlfind query)
ifneq ($(.SHELLSTATUS),0)
_: $(error "'ocamlfind query' failed, please install OCaml and put it in your PATH)
endif
visitors_root:=$(shell ocamlfind query visitors)
ifneq ($(.SHELLSTATUS),0)
_: $(error "'ocamlfind query visitors' failed, please 'opam install visitors')
endif
include $(visitors_root)/Makefile.preprocess

.PHONY: all minimal clean test pre krmllib install

Expand Down

0 comments on commit c31a22c

Please sign in to comment.